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 our data base is not yet complete. For further publications, please visit this page.

Publications of the Institute of Artificial Intelligence

Search: 
  Advanced search
Year:  
All :: 1994, ... , 2009, 2010, 2011, 2012
Author:  
All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, R, S, T, V, W, Z 
  
 
Preferences: 
References per page: Show keywords Show abstracts
References
pdf
Andreas Steigmiller, Thorsten Liebig Person and Birte Glimm Person
Extended Caching, Backjumping and Merging for Expressive Description Logics
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012) of Lecture Notes in Computer Science
June 2012
to be published
pdf
Nadeschda Nikitina, Sebastian Rudolph and Birte Glimm Person
Interactive Ontology Revision
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 12-13:118-130
April 2012
DOI: 10.1016/j.websem.2011.12.002
http://www.sciencedirect....cle/pii/S1570826811001028
pdf
Birte Glimm Person, Ian Horrocks, Boris Motik, Rob Shearer and Giorgos Stoilos
A Novel Approach to Ontology Classification
Journal of Web Semantics: Science, Services and Agents on the World Wide Web,
2012
DOI: 10.1016/j.websem.2011.12.007
http://www.uni-ulm.de/fil...kationen/2011/GHMS11a.pdf
pdf
Pascal Bercher Person and Susanne Biundo Person
A Heuristic for Hybrid Planning with Preferences
Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2012)
Publisher: AAAI Press,
2012
accepted
default
Mohamed Elkawkagy Person, Pascal Bercher Person, Bernd Schattenberg Person and Susanne Biundo Person
Improving Hierarchical Planning Performance by the Use of Landmarks
Proceedings of the 26th National Conference on Artificial Intelligence (AAAI 2012)
Publisher: AAAI Press,
2012
accepted
default
Bastian Seegebarth Person, Felix Müller Person, Bernd Schattenberg Person and Susanne Biundo Person
Making Hybrid Plans More Clear to Human Users -- A Formal Approach for Generating Sound Explanations
Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012)
Publisher: AAAI Press,
2012
accepted
default
Bernd Schattenberg Person, Andreas L. Schulz, André Brechmann, Frank W. Ohl and Susanne Biundo Person
Planning Models for Two-Way Avoidance and Reversal Learning
Proceedings of the 7th Vienna International Conference on Mathematical Modelling (MATHMOD 2012)
Vienna, Austria
2012
accepted
pdf
Ilianna Kollia and Birte Glimm Person
Cost Based Query Ordering over OWL Ontologies
Proceedings of the 25th International Description Logic Workshop (DL 2012) of CEUR Workshop Proceedings
2012
to be published
pdf
Andreas Steigmiller, Thorsten Liebig Person and Birte Glimm Person
Extended Caching and Backjumping for Expressive Description Logics
Proceedings of the 25th International Description Logic Workshop (DL 2012) of CEUR Workshop Proceedings
2012
to be published
pdf
Christian Späth
Implementierung und Evaluation eines hierarchischen Planungssystems für faktorisierte POMDPs
Master Thesis
Ulm University,
2012
submitted
http://www.uni-ulm.de/fil...archischePOMDPsFolien.pdf
Page:  
Previous | 1, 2 | Next
Export as:
BibTeX, XML