Institut für Künstliche Intelligenz

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

1995

34.
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.
Datei:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1995/Ruess95FormalizationAndReasoning.pdf
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.

1994

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:pdfhttp://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.

1993

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.
BibTeX downloadXML download