Auf dieser Seite finden Sie sämtliche Publikationen, die an diesem Institut entstanden sind. Wenn Sie nach einem bestimmten Papier suchen, das womöglich geschrieben wurde, bevor der entsprechende Autor an unser Institut gewechselt hat, besuchen Sie bitte seine/ihre Mitarbeiterseite.
Bitte beachten Sie, dass auch eine Auflistung sämtlicher am Institut entstandener studentischer Abschlussarbeiten existiert.
Publikationen des Instituts für Künstliche Intelligenz
257. 
|
Hitting the Sweetspot: Economic Rewriting of Knowledge Bases
Proceedings of the 11th International Semantic Web Conference (ISWC 2012)
Band 7649
aus Lecture Notes in Computer Science
, Seite 394-409.
Herausgeber: Springer-Verlag,
November
2012
|
|
256.
|
Cost Based Query Ordering over OWL Ontologies
Proceedings of the 11th International Semantic Web Conference (ISWC 2012)
Band 7649
aus Lecture Notes in Computer Science
, Seite 231-246.
Herausgeber: Springer-Verlag,
November
2012
|
|
255.
|
Goal-Based Person Tracking Using a First-Order Probabilistic Model
Proceedings of the Ninth UAI Bayesian Modeling Applications Workshop (UAI-AW 2012)
August
2012
|
|
254.
|
Exploiting Expert Knowledge in Factored POMDPs
Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012)
, Seite 606--611.
Herausgeber: IOS Press,
August
2012
|
|
253.
|
A Novel Approach to Ontology Classification
Journal of Web Semantics: Science, Services and Agents on the World Wide Web,
14:84-101
Juli
2012
ISSN: 1570-8268
|
|
252.
|
Improving Hierarchical Planning Performance by the Use of Landmarks
Proceedings of the 26th AAAI Conference on Artificial Intelligence ({AAAI} 2012)
, Seite 1763--1769.
Herausgeber: AAAI Press,
Juli
2012
|
|
251.
|
Making Hybrid Plans More Clear to Human Users -- A Formal Approach for Generating Sound Explanations
Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012)
, Seite 225--233.
Herausgeber: AAAI Press,
Juni
2012
|
|
250.
|
Cost Based Query Ordering over OWL Ontologies
Proceedings of the 25th International Description Logic Workshop (DL 2012)
Band 846
aus CEUR Workshop Proceedings
Juni
2012
|
|
249.
|
Extended Caching and Backjumping for Expressive Description Logics
Proceedings of the 25th International Description Logic Workshop (DL 2012)
Band 846
aus CEUR Workshop Proceedings
Juni
2012
|
|
248.
|
Extended Caching, Backjumping and Merging for Expressive Description Logics
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012)
Band 7364
aus Lecture Notes in Computer Science
, Seite 514-529.
Juni
2012
|