Auf dieser Seite finden Sie sämtliche Publikationen, die an diesem Institut entstanden sind. Wenn Sie nach einem bestimmten Papier suchen, das womöglich geschrieben wurde, bevor der entsprechende Autor an unser Institut gewechselt hat, besuchen Sie bitte seine/ihre Mitarbeiterseite.

Bitte beachten Sie, dass auch eine Auflistung sämtlicher am Institut entstandener studentischer Abschlussarbeiten existiert.

Publikationen des Instituts für Künstliche Intelligenz

1993

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.