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

Jahr  
Alle :: 1992, 1993, 1994, 1995, ... , 2018

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

12.
default
Baader, Franz; Bürckert, Hans-Jürgen; Nebel, Bernhard; Nutt, Werner; Smolka, Gert
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Journal of Logic, Language and Information, 2(1):1--18
1993
11.
default
Padgham, Lin; Nebel, Bernhard
Combining classification and nonmonotonic inheritance reasoning: A first step
Herausgeber: Springer-Verlag,
1993
10.
default
Ullmann, M.; Hauff, H.; Loevenich, D.; Kejwal, P.; Förster, R.; Baur, P.; Göhner, P.; Drexler, R.; Reif, W.; Stephan, Werner; Wolpers, A.; Cleve, J.; Hutter, D.; Sengler, C.; Canver, Ercument
VSE Verification Support Environment
In Weck, Gerhard and Horster, Patrick, Editor, Verläßliche Informationssysteme aus DuD-Fachbeiträge
Seite 175--190.
Herausgeber: Vieweg+Teubner Verlag,
1993
ISBN: 978-3-528-05344-4
9.
default
Nebel, Bernhard; Koehler, Jana
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective
Planen und Konfigurieren (PuK'93) , Seite 7--17.
1993
8.
default
Uhrmacher, Adelinde M.
Variable Structure Models: Autonomy and Control - Answers from Two Different Modeling Approaches
Proceedings of the 4th Annual Conference on AI, Simulation, and Planning in High Autonomy Systems - Integrating Virtual Reality and Model-Based Environments , Seite 133--139.
Herausgeber: IEEE Press, Tucson, AZ
1993
7.
default
Nebel, Bernhard; Koehler, Jana
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI '93) , Seite 1436--1441.
Herausgeber: Morgan Kaufmann,
1993
6.
default
Bäckström, Christer; Nebel, Bernhard
Complexity Results for SAS+ Planning
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI '93)
1993
5.
default
Förster, R.; Kejwal, P.; Baur, P.; Göhner, P.; Cleve, J.; Drexler, R.; Hutter, D.; Sengler, C.; Siekmann, ; Stephan, Werner; Wolpers, A.; Reif, W.; Canver, Ercument; von Henke, Friedrich
Verification Support Environment (VSE)
Proceedings of the 3. Deutscher IT-Sicherheitskongress des BSI , Seite 327--337.
1993
4.
default
Andre, Elisabeth; Graf, Winfried; Heinsohn, Jochen; Nebel, Bernhard; Profitlich, Hans-Jürgen; Rist, Thomas; Wahlster, Wolfgang
PPP: Personalized Plan-Based Presenter - Project Proposal
Dokument Nummer: DFKI Document D-93-05
Deutsches Forschungszentrum für Künstliche Intelligenz,DFKI,
1993
Export als: BibTeX, XML