Attribut:BibTex

Dies ist eine Eigenschaft des Typs Code.

Annotationen2362

vorherige 20 20 50 100 250 500 nächste 20

Filter<p>Der <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">Filter für die Suche nach Datenwerten zu Attributen</a> unterstützt die Nutzung von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">Abfrageausdrücken</a> wie bpsw. <code>~</code> oder <code>!</code>. Je nach genutzter <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">Abfragedatenbank</a> werden auch die groß- und kleinschreibungsunabhängige Suche oder auch folgende weitere Abfrageausdrücke unterstützt:</p><ul><li><code>in:</code>: Das Ergebnis soll den angegebenen Begriff enthalten, wie bspw. <code>in:Foo</code></li></ul><ul><li><code>not:</code>: Das Ergebnis soll den angegebenen Begriff nicht enthalten, wie bpsw. <code>not:Bar</code></li></ul>

Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.

A

A Compositional Framework for Controller Synthesis +

@inproceedings{BKK2011,
  author    = {Christel Baier and Joachim Klein and Sascha Kl{\"{u}}ppelholz},
  title     = {A Compositional Framework for Controller Synthesis},
  booktitle = {Proc. of the 22nd International Conference on Concurrency Theory
               (CONCUR'11)},
  series    = {Lecture Notes in Computer Science},
  volume    = {6901},
  publisher = {Springer},
  year      = {2011},
  pages     = {512--527},
  doi       = {10.1007/978-3-642-23217-6_34}
}

A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation +

@phdthesis{G2013,
  author = {Sarah Alice Gaggl},
  title  = {A Comprehensive Analysis of the cf2 Argumentation Semantics: From
            Characterization to Implementation},
  school = {TU Wien},
  year   = {2013}
}

A Computational Logic Approach to Human Reasoning +

@misc{H2012,
  author = {Steffen H{\"{o}}lldobler},
  title  = {A Computational Logic Approach to Human Reasoning},
  year   = {2012},
  month  = {March}
}

A Computational Logic Approach to Syllogisms in Human Reasoning +

@inproceedings{,
    AUTHOR = {E.-A. Dietz},
    TITLE= {A Computational Logic Approach to Syllogisms in Human Reasoning},
    BOOKTITLE= {Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning
on the 25th International Conference on Automated Deduction (CADE-25)},
    YEAR= {2015},
    editor = {U. Furbach and Claudia Schon},
    PAGES= {17--31},
    PUBLISHER= {CEUR Workshop Proceedings}
}

A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +

@techreport{DHR2013,
  author      = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler and Marco
                 Ragni},
  title       = {A Computational Logic Approach to the Abstract and the Social
                 Case of the Selection Task},
  institution = {Technische Universit{\"{a}}t Dresden},
  year        = {2013}
}

A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +

@inproceedings{DHR2013,
  author    = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler and Marco
               Ragni},
  title     = {A Computational Logic Approach to the Abstract and the Social
               Case of the Selection Task},
  booktitle = {Proceedings of the 11th International Symposium on Logical
               Formalizations of Commonsense Reasoning},
  year      = {2013}
}

A Computational Logic Approach to the Belief Bias Effect +

@inproceedings{PDH2014,
  author    = {Lu{\'{\i}}s Moniz Pereira and Emmanuelle-Anna Dietz and Steffen
               H{\"{o}}lldobler},
  title     = {A Computational Logic Approach to the Belief Bias Effect},
  editor    = {Chitta Baral and Giuseppe De Giacomo and Thomas Eiter},
  booktitle = {14th International Conference on Principles of Knowledge
               Representation and Reasoning, {KR} 2014, Vienna, Austria, July
               20-24, 2014},
  publisher = {AAAI Press},
  year      = {2014}
}

A Computational Logic Approach to the Suppression Task +

@techreport{DHR2012,
  author      = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler and Marco
                 Ragni},
  title       = {A Computational Logic Approach to the Suppression Task},
  institution = {TU Dresden, Knowledge Representation and Reasoning},
  year        = {2012}
}

A Computational Logic Approach to the Suppression Task +

@inproceedings{DHR2012,
  author    = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler and Marco
               Ragni},
  title     = {A Computational Logic Approach to the Suppression Task},
  editor    = {N. Miyake D. Peebles and R. P. Cooper},
  booktitle = {Proceedings of the 34th Annual Conference of the Cognitive
               Science Society},
  publisher = {Cognitive Science Society},
  year      = {2012},
  pages     = {1500-1505}
}

A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning +

@inproceedings{spatial:2019,
author = {Mertesdorf, Julia and {Dietz Saldanha}, Emmanuelle-Anna and H{\"o}lldobler, Steffen and Ragni, Marco},
TITLE = {A Computational Theory for Model Construction,
Variation and Inspection in Human Spatial Reasoning},
booktitle = {17th International Conference on Cognitive Modelling Meetings (ICCM)},
year = {2019},
note = {accepted},
}

A Concept Language Extended with Different Kinds of Transitive Roles +

@inproceedings{ Sattler-KI-96,
  author = {U. {Sattler}},
  booktitle = {20. Deutsche Jahrestagung f{\"ur} K{\"u}nstliche Intelligenz},
  editor = {G. {G{\"o}rz} and S. {H{\"o}lldobler}},
  number = {1137},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {A Concept Language Extended with Different Kinds of Transitive Roles},
  year = {1996},
}

A Concept Language for an engeneering application with part-whole relations +

@inproceedings{ Sa95,
  address = {Rome},
  author = {Ulrike {Sattler}},
  booktitle = {Proceedings of the International Workshop on Description Logics},
  editor = {A. {Borgida} and M. {Lenzerini} and D. {Nardi} and B. {Nebel}},
  pages = {119--123},
  title = {A Concept Language for an engeneering application with part-whole relations},
  year = {1995},
}

A Conceptual Foundation for Autonomous Learning in Unforeseen Situations +

@inproceedings{K1998,
  author    = {Catriona M. Kennedy},
  title     = {A Conceptual Foundation for Autonomous Learning in Unforeseen
               Situations},
  booktitle = {IEEE International Symposium on Intelligent Control
               (ISIC/CIRA/ISAS'98)},
  year      = {1998},
  month     = {September}
}

A Core Method for the Weak Completion Semantics with Skeptical Abduction +

@article{DBLP:journals/jair/SaldanhaHRM18,
  author    = {Emmanuelle{-}Anna Dietz Saldanha and
               Steffen H{\"{o}}lldobler and
               Carroline Dewi Puspa Kencana Ramli and
               Luis Palacios Medinacelli},
  title     = {A Core Method for the Weak Completion Semantics with Skeptical Abduction},
  journal   = {J. Artif. Intell. Res.},
  volume    = {63},
  pages     = {51--86},
  year      = {2018},}

A Correspondance between Temporal Description Logics +

@inproceedings{ ArtaleLutz-DL-99,
  address = {Linkoeping, Sweden},
  author = {A. {Artale} and C. {Lutz}},
  booktitle = {Proceedings of the International Workshop on Description Logics (DL'99)},
  editor = {Patrick {Lambrix} and Alex {Borgida} and Maurizio {Lenzerini} and Ralf {M{\"o}ller} and Peter {Patel-Schneider}},
  month = {July 30 -- August 1},
  note = {Proceedings online available from {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/}},
  number = {22},
  pages = {145--149},
  publisher = {Link{\"o}ping University},
  series = {CEUR-WS},
  title = {A Correspondance between Temporal Description Logics},
  year = {1999},
}

A Correspondence between Temporal Description Logics +

@article{ ArtaleLutzJANCL04,
  author = {A. {Artale} and C. {Lutz}},
  journal = {Journal of Applied Non-Classical Logic},
  number = {1--2},
  pages = {209--233},
  title = {A Correspondence between Temporal Description Logics},
  volume = {14},
  year = {2004},
}

A Data Warehouse Conceptual Data Model for Multidimensional Aggregation +

@inproceedings{ FranconiSattler-DMDW99,
  address = {Heidelberg, Germany},
  author = {E. {Franconi} and U. {Sattler}},
  booktitle = {Workshop on Design and Management of Data Warehouses (DMDW'99)},
  month = {June},
  title = {A Data Warehouse Conceptual Data Model for Multidimensional Aggregation},
  year = {1999},
}

A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report +

@article{ FranconiSattler-AIIA99,
  author = {E. {Franconi} and U. {Sattler}},
  journal = {Italian Association for Artificial Intelligence AI*IA Notizie},
  pages = {9--21},
  title = {A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report},
  volume = {1},
  year = {1999},
}

A Data-Driven Graph Schema +

@inproceedings{GH2018,
  author    = {Larry Gonz{\'{a}}lez and Aidan Hogan},
  title     = {A Data-Driven Graph Schema},
  booktitle = {Proceedings of the 12th Alberto Mendelzon International Workshop
               on Foundations of Data Management, Cali, Colombia, May 21-25,
               2018},
  year      = {2018},
  month     = {May}
}

A Database Approach for Modeling and Querying Video Data +

@inproceedings{ DecleirHacidKouloumdjian99,
  author = {Cyril {Decleir} and Mohand-Sa\"{\i}d {Hacid} and Jacques {Kouloumdjian}},
  booktitle = {Proceedings of the 15th International Conference on Data Engineering, Sydney, Australia},
  editor = {Masaru {Kitsuregawa} and Leszek {Maciaszek} and Mike {Papazoglou}},
  month = {March},
  pages = {6--13},
  publisher = {IEEE Computer Society},
  title = {{A} {D}atabase {A}pproach for {M}odeling and {Q}uerying {V}ideo {D}ata},
  year = {1999},
}