This page contains all publications of the institute. If you are searching for a particular paper that might have been written before the researcher joined us, please visit his or her individual page.

Please note that there is also a list of all Opens internal link in current windowstudents' theses written at our institute.

Publications of the Institute of Artificial Intelligence

Year:  
All :: 1992, ... , 2011, 2012, 2013, 2014
Author:  
All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, R, S, T, U, V, W, X, Z 
  
 
Preferences: 
References per page: Show keywords Show abstracts
References
pdf
Birte Glimm Person, Ian Horrocks, Boris Motik, Giorgos Stoilos and Zhe Wang
HermiT: An OWL 2 Reasoner
Journal of Automated Reasoning (JAR), :1-25
2014
pdf
Andreas Steigmiller Person, Thorsten Liebig Person and Birte Glimm Person
Konclude: System Description
Journal of Web Semantics (JWS),
2014
pdf
Andreas Steigmiller Person, Birte Glimm Person and Thorsten Liebig Person
Reasoning with Nominal Schemas through Absorption
Journal of Automated Reasoning,
2014
pdf
Birte Glimm Person, Yevgeny Kazakov Person, Thorsten Liebig Person, Trung-Kien Tran and Vincent Vialard
Abstraction Refinement for Ontology Materialization
Proceedings of the 27th International Workshop on Description Logics (DL 2014) Volume 1193 of CEUR Workshop Proceedings
Publisher: CEUR-WS.org,
2014
pdf
Birte Glimm Person, Yevgeny Kazakov Person, Thorsten Liebig Person, Trung-Kien Tran and Vincent Vialard
Abstraction Refinement for Ontology Materialization
Proceedings of the 13th International Semantic Web Conference (ISWC 2014) of Lecture Notes in Computer Science
Publisher: Springer-Verlag,
2014
pdf
Frank Honold Person, Pascal Bercher Person, Felix Richter Person, Florian Nothdurft Person, Thomas Geier Person, Roland Barth, Thilo Hörnle Person, Felix Schüssel Person, Stephan Reuter Person, Matthias Rau, Gregor Bertrand Person, Bastian Seegebarth Person, Peter Kurzok Person, Bernd Schattenberg Person, Wolfgang Minker Person, Michael Weber Person and Susanne Biundo Person
Companion-Technology: Towards User- and Situation-Adaptive Functionality of Technical Systems
10th International Conference on Intelligent Environments (IE 2014) , page 378--381.
Publisher: IEEE,
2014
pdf
Andreas Steigmiller Person, Birte Glimm Person and Thorsten Liebig Person
Coupling Tableau Algorithms for Expressive Description Logics with Completion-based Saturation Procedures
In Deepak Kapur Stéphane Demri and Christoph Weidenbach, editor, Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014) Volume 8562 of Lecture Notes in Computer Science , page 449-463.
Publisher: Springer-Verlag,
2014
pdf
Pascal Bercher Person, Shawn Keen and Susanne Biundo Person
Hybrid Planning Heuristics Based on Task Decomposition Graphs
Proceedings of the Seventh Annual Symposium on Combinatorial Search (SoCS 2014) , page 35--43.
Publisher: AAAI Press,
2014
pdf
Daniel Höller Person, Gregor Behnke Person, Pascal Bercher Person and Susanne Biundo Person
Language Classification of Hierarchical Planning Problems
In Torsten Schaub, Gerhard Friedrich and Barry O'Sullivan, editor, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014) Volume 263 of Frontiers in Artificial Intelligence and Applications , page 447-452.
European Coordinating Commitee for Artificial Intelligence (ECCAI)
Publisher: IOS Press, Amsterdam
2014
pdf
Andreas Steigmiller Person, Birte Glimm Person and Thorsten Liebig Person
Optimised Absorption for Expressive Description Logics
In Magdalena Ortiz Meghyn Bienvenu and Mantas Simkus, editor, Proceedings of the 27th International Workshop on Description Logics (DL 2014) Volume 1193 of CEUR Workshop Proceedings
Publisher: CEUR-WS.org,
2014
Page:  
Previous | 1, 2 | Next
Export as:
BibTeX, XML