Institut für Künstliche Intelligenz
- 1:
Lehre. - 2: Forschung.
- 3: Projekte.
- 4: Mitarbeiter.
- 5: Publikationen.
- 6: Software.
- 7: Stellenangebote.
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.
Unsere Datenbank ist noch nicht vollständig, wird aber fortlaufend ergänzt. Weitere Publikationen finden Sie hier.
Publikationen des Instituts für Künstliche Intelligenz
Referenzen
 |
und Birte Glimm
 SPARQL Query Answering over OWL Ontologies
Journal of Artificial Intelligence Research (JAIR),
2013
|
 |
Pascal Bercher
und Susanne Biundo Encoding Partial Plans for Heuristic Search
Proceedings of the 4th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2013) at ICAPS 2013
, Seite 11--15.
2013
|
|
|
Andreas Steigmiller
, Birte Glimm und Thorsten Liebig Extending Absorption to Nominal Schemas
Proceedings of the 2013 International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings,
2013
|
|
|
Andreas Steigmiller
, Birte Glimm und Thorsten Liebig Nominal Schema Absorption
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)
Herausgeber: AAAI Press/The MIT Press,
2013
|
|
|
Progression of Decomposed Situation Calculus Theories
AAAI, The Twenty-Seventh Conference on Artificial Intelligence
2013
|
|
|
und Birte Glimm
Towards Explicative Inference for OWL
Proceedings of the 2013 International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings,
2013
|
|
|
Birte Glimm
, , und Using the TBox to Optimise SPARQL Queries
Proceedings of the 2013 International Description Logic Workshop (DL 2013)
Herausgeber: CEUR Workshop Proceedings,
2013
|