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.

Please note that our data base is not yet complete. For further publications, please visit this page.

Publications of the Institute of Artificial Intelligence

Year:  
All :: 1995, ... , 2011, 2012, 2013, 2014
Author:  
All :: A, B, C, D, E, F, G, H, I, K, L, M, N, O, P, R, S, T, V, W, 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),
2014
pdf
Andreas Steigmiller Person, Birte Glimm Person and Thorsten Liebig Person
Konclude: System Description
Journal of Web Semantics (JWS),
2014
pdf
Andreas Steigmiller Person, Birte Glimm Person and Thorsten Liebig Person
Coupling Tableau Algorithms for Expressive Description Logics with Completion-based Saturation Procedures
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012) of Lecture Notes in Computer Science
Publisher: Springer-Verlag,
2014
default
Pascal Bercher Person, Susanne Biundo Person, Thomas Geier Person, Thilo Hoernle Person, Florian Nothdurft Person, Felix Richter Person and Bernd Schattenberg Person
Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater.
Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014)
2014
Export as:
BibTeX, XML