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

1994

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.
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/
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
10.
R. Förster, P. Kejwal, P. Baur, P. Göhner, J. Cleve, R. Drexler, D. Hutter, C. Sengler, Siekmann, W. Stephan, A. Wolpers, W. Reif, E. Canver and F. von Henke, "Verification Support Environment (VSE)" in Proceedings of the 3. Deutscher IT-Sicherheitskongress des BSI, 1993. pp. 327--337.
9.
A. M. Uhrmacher, "Variable Structure Models: Autonomy and Control - Answers from Two Different Modeling Approaches" in Proceedings of the 4th Annual Conference on AI, Simulation, and Planning in High Autonomy Systems - Integrating Virtual Reality and Model-Based Environments, Tucson, AZ: IEEE Press, 1993. pp. 133--139.
DOI:10.1109/AIHAS.1993.410588
8.
B. Nebel and J. Koehler, "Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective" in Planen und Konfigurieren (PuK'93), 1993. pp. 7--17.
7.
B. Nebel and J. Koehler, "Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective" in Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI '93), Morgan Kaufmann, 1993. pp. 1436--1441.
6.
F. Baader, H. Bürckert, B. Nebel, W. Nutt and G. Smolka, "On the expressivity of feature logics with negation, functional uncertainty, and sort equations" , Journal of Logic, Language and Information, vol. 2, no. 1, pp. 1--18, 1993. Springer, http://link.springer.com/article/10.1007%2FBF01051766.
5.
C. Bäckström and B. Nebel, "Complexity Results for SAS+ Planning" in Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI '93), 1993.
4.
L. Padgham and B. Nebel, Combining classification and nonmonotonic inheritance reasoning: A first step. .... Springer-Verlag, 1993.

1992

3.
A. M. Uhrmacher, "EMSY - An Extended Modeling System" in AI, Expert Systems, and Symbolic Computing for Scientific Computation,Houstis, E. N. and Rice, J. R., Eds. North Holland, Amsterdam, 1992.
2.
A. M. Uhrmacher, "Qualitative and Quantitative Simulation - Some Comparative Aspects" in SoftStat '91. Advances in Statistical Software., Stuttgart: Gustav Fischer, 1992. pp. 343-352.
1.
P. Baur, Plasa, P. Kejwal, R. Drexler, W. Reif, W. Stephan, A. Wolpers, D. Hutter, C. Sengler and E. Canver, "The Verification Support Environment VSE" in IFA Symposium on Safety, Security and Reliability of Computers, 1992.