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
Thomas Geier Person, Felix Richter Person and Susanne Biundo Person
Conditioned Belief Propagation Revisited: Extended Version
Document number: UIB 2014-03
Ulm University,
August 2014
pdf
Birte Glimm Person, Ian Horrocks, Boris Motik, Giorgos Stoilos and Zhe Wang
HermiT: An OWL 2 Reasoner
Journal of Automated Reasoning (JAR), 53(3):245-269
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
Yevgeny Kazakov Person, Markus Krötzsch Person and František Simančík Person
The Incredible {ELK}: From Polynomial Procedures to Efficient Reasoning with {EL} Ontologies
JAR, 53(1):1-61
2014
pdf
Birte Glimm Person, Yevgeny Kazakov Person, Thorsten Liebig Person, Trung-Kien Tran Person 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 Person and Vincent Vialard
Abstraction Refinement for Ontology Materialization
Proceedings of the 13th International Semantic Web Conference (ISWC 2014) Volume 8797 of Lecture Notes in Computer Science
Publisher: Springer-Verlag,
2014
pdf
Yevgeny Kazakov Person and Pavel Klinov Person
Bridging the Gap between Tableau and Consequence-Based Reasoning
In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati and Mantas Simkus, editor, DL Volume 1193 of CEUR Workshop Proceedings , page 579-590.
Publisher: CEUR-WS.org,
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
default
Thomas Geier Person, Felix Richter Person and Susanne Biundo Person
Conditioned Belief Propagation Revisited
Proceedings of the 21st European Conference on Artificial Intelligence of Frontiers in Artificial Intelligence and Applications , page 1011-1012.
2014
Page:  
Previous | 1, 2 | Next
Export as:
BibTeX, XML