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

1995

35.
A. M. Uhrmacher, "Reasoning about Changing Structure, A Modeling Concept for Ecological Systems", Applied Artificial Intelligence, vol. 9, no. 2, pp. 157--180, 1995.
DOI:10.1080/08839519508945472
File:http://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/jaai95.pdfs
34.
B. Nebel and J. Koehler, "Plan reuse versus plan generation: a theoretical and empirical analysis", Artificial Intelligence, vol. 76, no. 1--2, pp. 427--454, 1995.
DOI:10.1016/0004-3702(94)00082-C
33.
H. Rueß, H. Pfeifer and F. von Henke, "Formalization and Reasoning in a Reflective Architecture" in IJCAI 1995 Workshop on Reflection and Meta Level Architecture and their Application in AI, M. Ibrahim and P. Cointe and F. Cummins and F. Giunchiglia and J. Malenfant, Eds. Montreal, Canada, 1995.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1995/Ruess95FormalizationAndReasoning.pdf
32.
B. Nebel, "Komplexitätsanalysen in der Künstlichen Intelligenz", Künstliche Intelligenz, vol. 9, no. 2, pp. 6--14, 1995.
31.
H. Rueß, "Formal Meta-Programming in the Calculus of Constructions", PhD Thesis, University of Ulm, 1995.
30.
F. von Henke, A. Dold, H. Rueß, D. Schwier and M. Strecker, "Construction and Deduction Methods for the Formal Development of Software" in KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Manfred Broy, Eds. Springer-Verlag, 1995, pp. 239--254.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1995/Henke95Construction.pdf
29.
B. Nebel, "Computational Properties of Qualitative Spatial Reasoning: First Results" in KI-95: Advances in Artificial Intelligence, Wachsmuth, Ipke and Rollinger, Claus-Rainer and Brauer, Wilfried, Eds. Springer Berlin Heidelberg, 1995, pp. 233--244.
DOI:10.1007/3-540-60343-3_40
ISBN:978-3-540-60343-6
28.
C. Bäckström and B. Nebel, "Complexity Results for SAS+ Planning", Computational Intelligence, vol. 11, pp. 625--655, 1995.
27.
B. Nebel, "Base Revision Operations and Schemes: Semantics, Representation and Complexity" in Proceedings of the ISSEK94 Workshop on Mathematical and Statistical Methods in Artificial Intelligence, Della Riccia, G. and Kruse, R. and Viertl, R., Eds. Springer-Verlag, 1995, pp. 157--170.
DOI:10.1007/978-3-7091-2690-5_11
ISBN:978-3-211-82713-0
26.
A. Dold, F. von Henke, H. Pfeifer and H. Rueß, "A Generic Specification for Verifying Peephole Optimizations" , 1995.

1994

25.
Lakemeyer, Gerhard and Nebel, Bernhard, Eds., Foundation of Knowledge Representation and Reasoning [the Book Grew out of an ECAI-92 Workshop]: LNAI.
ISBN:3-540-58107-3
24.
B. Nebel and H. Bürckert, "Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra" in Proceedings of the 12th National Conference of the American Association for Artificial Intelligence (AAAI'94), 1994, pp. 356--361.
23.
B. Nebel and C. Bäckström, "On the computational complexity of temporal projection, planning, and plan validation", Artificial Intelligence, vol. 66, no. 1, pp. 125--160, 1994. Elsevier, http://www.sciencedirect.com/science/article/pii/0004370294900051.
22.
B. Nebel and H. Bürckert, "Managing Qualitative Temporal Information: Expressiveness vs. Complexity" in Management and Processing of Complex Data Structures, K. von Luck and H. Marburger, Eds. Springer-Verlag Berlin, 1994, pp. 104--117.
ISBN:3-540-57802-1
21.
A. M. Uhrmacher, "Fuzzy-basiertes Induktives Schliessen - Eine Analyse der Kohlendioxiddynamik in Biosphäre 2" in GI-Fachgruppe Maschinelles Lernen, 1994, pp. 95--104.
File:pdfhttp://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/mal94.pdf
20.
G. Lakemeyer and B. Nebel, "Foundations of knowledge representation and reasoning" in Foundations of Knowledge Representation and Reasoning, Lakemeyer, Gerhard and Nebel, Bernhard, Eds. Springer Berlin Heidelberg, 1994, pp. 1--12.
DOI:10.1007/3-540-58107-3_1
ISBN:978-3-540-58107-9
19.
F. Baader, B. Hollunder, B. Nebel, H. Profitlich and E. Franconi, "An Empirical Analysis of Optimization Techniques for Terminological Representation Systems or "Making KRIS get a move on"", Applied Intelligence, vol. 4, no. 2, pp. 109--132, 1994. Kluwer Academic Publishers, http://link.springer.com/article/10.1007%2FBF00872105.
DOI:10.1007/BF00872105
Weblink:http://scidok.sulb.uni-saarland.de/volltexte/2011/3799/
18.
A. Dold, Formalisierung schematischer Algorithmen. .... Universität Ulm, 1994.
17.
B. Nebel, "Base Revision Operations and Schemes: Semantics, Representation, and Complexity" in Proceedings of the 11th European Conference on Artificial Intelligence (ECAI '94), John Wiley & Sons, 1994, pp. 341--345.
16.
S. Bergamaschi and B. Nebel, "Automatic Building and Validation of Multiple Inheritance Complex Complex Object Database Schemata", Applied Intelligence, vol. 4, no. 2, pp. 185--204, 1994.
15.
J. Heinsohn, D. Kudenko, B. Nebel and H. Profitlich, "An Empirical Analysis of Terminological Representation Systems", Artificial Intelligence, vol. 68, no. 2, pp. 367--397, 1994.
14.
Nebel, Bernhard and Dreschler-Fischer, Leonie S., Eds., Advances in Artificial Intelligence: Proceedings of the 18th Annual German Conference: LNAI.
ISBN:3-540-58467-6
13.
A. M. Uhrmacher and R. Arnold, "Distributing and Maintaining Knowledge - Agents in Variable Structure Environments" in Proceedings of the Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems. Distributed Interactive Simulation Environments, Gainesville, FL, USA: IEEE-Press, 1994, pp. 178--184.
DOI:10.1109/AIHAS.1994.390487

1993

12.
E. Andre, W. Graf, J. Heinsohn, B. Nebel, H. Profitlich, T. Rist and W. Wahlster, "PPP: Personalized Plan-Based Presenter - Project Proposal" , 1993.
11.
M. Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, P. Göhner, R. Drexler, W. Reif, W. Stephan, A. Wolpers, J. Cleve, D. Hutter, C. Sengler and E. Canver, "VSE Verification Support Environment" in Verläßliche Informationssysteme, Weck, Gerhard and Horster, Patrick, Eds. Vieweg+Teubner Verlag, 1993, pp. 175--190.
DOI:10.1007/978-3-322-88782-5_12
ISBN:978-3-528-05344-4