Publikationen des Instituts für Künstliche Intelligenz

33.

B. Nebel, "Komplexitätsanalysen in der Künstlichen Intelligenz", Künstliche Intelligenz, vol. 9, no. 2, pp. 6--14, 1995.

32.

C. Willy, A. M. Uhrmacher and H. Gerngross, "Leucozyte-Endothelium Interaction in Traumatology - A Knowledge-Based Systems Approach", EFFORD Congress, Munich, 1995.

31.

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

30.

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
Datei:	http://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/jaai95.pdfs

29.

B. Nebel and H. Bürckert, "Reasoning About Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra", Journal of the ACM, vol. 42, no. 1, pp. 43--66, 1995. ACM.

---

DOI:	10.1145/200836.200848

28.

A. Dold, "Representing, Verifying and Applying Software Development Steps using the PVS System" in Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology (AMAST '95), V. S. Alagar and Maurice Nivat, Eds. Springer Berlin Heidelberg, 1995, pp. 431--445.

---

DOI:	10.1007/3-540-60043-4_69

27.

E. Andre, W. Finkler, W. Graf, K. Harbusch, J. Heinsohn, A. Kilger, B. Nebel, H. Profitlich, T. Rist, W. Wahlster, A. Butz and A. Jameson, "WIP: From Multimedia to Intellimedia (Abstract of Video)" in Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), 1995, pp. 2053--2054.

26.

B. Owsnicki-Klewe, K. von Luck and B. Nebel, "Wissensrepräsentation und Logik - Eine Einführung" in Einführung in die Künstliche Intelligenz, G. Görz, Eds. Addison-Wesley, 1995, pp. 3--54.

25.

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

24.

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/

23.

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.

22.

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.

21.

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.

20.

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

19.

A. Dold,Formalisierung schematischer Algorithmen. .... Universität Ulm, 1994.

18.

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

17.

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

16.

A. M. Uhrmacher, "Fuzzy-basiertes Induktives Schliessen - Eine Analyse der Kohlendioxiddynamik in Biosphäre 2" in GI-Fachgruppe Maschinelles Lernen, 1994, pp. 95--104.

---

Datei:

http://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/mal94.pdf

15.

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

14.

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.

---

13.

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.

12.

L. Padgham and B. Nebel,Combining classification and nonmonotonic inheritance reasoning: A first step. .... Springer-Verlag, 1993.

11.

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.

10.

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.

---

9.

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.