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), :1-25
2014
pdf
Andreas Steigmiller Person, Thorsten Liebig Person and Birte Glimm Person
Konclude: System Description
Journal of Web Semantics (JWS),
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
Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014) of Lecture Notes in Computer Science
Publisher: Springer-Verlag,
2014
pdf
Pascal Bercher Person, Shawn Keen and Susanne Biundo Person
Hybrid Planning Heuristics Based on Task Decomposition Graphs
The Seventh Annual Symposium on Combinatorial Search (SoCS 2014)
2014
pdf
Daniel Höller Person, Gregor Behnke Person, Pascal Bercher Person and Susanne Biundo Person
Language Classification of Hierarchical Planning Problems
Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014)
2014
pdf
Andreas Steigmiller Person, Birte Glimm Person and Thorsten Liebig Person
Optimised Absorption for Expressive Description Logics
Proceedings of the 27th International Workshop on Description Logics (DL 2014) of CEUR Workshop Proceedings
Publisher: CEUR-WS.org,
2014
pdf
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) , page 386--394.
Publisher: AAAI Press,
2014
default
Florian Nothdurft Person, Felix Richter Person and Wolfgang Minker Person
Probabilistic Explanation Dialog Augmentation
Proceedings of the 10th International Conference on Intelligent Environments (IE), 2014
2014
accepted
default
Florian Nothdurft Person, Felix Richter Person and Wolfgang Minker Person
Probabilistic Human-Computer Trust Handling
Proceedings of the SIGDIAL 2014 Conference
2014
accepted
Export as:
BibTeX, XML