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 students' theses written at our institute.

Publications of the Institute of Artificial Intelligence

Author


All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Z
All :: Opitz, Ortlieb, Owre, Owsnicki-Klewe

Preferences

Show keywords Show abstracts

4.
pdf
Liebig, Thorsten; Opitz, Michael
Reasoning over Dynamic Data in Expressive Knowledge Bases with Rscale
Proceedings of Workshop on Ordering and Reasoning (OrdRing 2011)
2011
3.
pdf
Mattmüller, Robert; Ortlieb, Manuela; Helmert, Malte; Bercher, Pascal
Pattern Database Heuristics for Fully Observable Nondeterministic Planning
Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010) , page 105--112.
Publisher: AAAI Press,
2010
2.
pdf
Pfab, Stephan; Rueß, Harald; Owre, Sam; W. von Henke, Friedrich
Towards Light-Weight Verification and Heavy-Weight Testing
In Berghammer, Rudolf and Lakhnech, Yassine, editor, Tool Support for System Specification, Development and Verification of Advances in Computing Science
page 189--200.
Publisher: Springer Vienna,
1999
ISBN: 978-3-211-83282-0
1.
default
Owsnicki-Klewe, Bernd; von Luck, Kai; Nebel, Bernhard
Wissensrepräsentation und Logik - Eine Einführung
In G. Görz, editor, Einführung in die Künstliche Intelligenz
page 3--54.
Publisher: Addison-Wesley,
1995
Export as: BibTeX, XML