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, ... , 2001, 2002, 2003, ... , 2017

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

131.
default
Xu, Jie; Randell, Brian; B. Romanovsky, Alexander; J. Stroud, Robert; F. Zorzo, Avelino; Canver, Ercument; von Henke, Friedrich
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
IEEE Transactions on Computers, 51(2):164--179
2002
130.
pdf
Seitz, Alexander; Dannenberg, Matthias
Docs'n Drugs - Gegenwart und Zukunft
Proceedings of the 6. Workshop der AG CBT in der Medizin der GMDS
2002
129.
default
Volz, Edwin; Martens, Alke; Seitz, Alexander
An Execution System for Variable Tutoring Processes
Proceedings of the International Conference on Computers in Education (ICCE '02) , Seite 559--563.
2002
128.
pdf
Seitz, Alexander; Dannenberg, Matthias; Liebhart, Hubert
An Anthoring System for Instructionally Designed Tutoring Processes
Proceedings of the International Conference on Computers in Education (ICCE’02) , Seite 1317--1318.
2002
127.
pdf
Schalk, Michael; Liebig, Thorsten; Illmann, Torsten; Kargl, Frank
Combining FIPA ACL With DAML OIL -- A Case Study
Proceedings of the Second International Workshop on Ontologies in Agent Systems (OAS'02)
2002
126.
pdf
Schattenberg, Bernd; Biundo, Susanne
On the Identification and Use of Hierarchical Resources in Planning and Scheduling
Proceedings of the 6th International Conference on Artificial Intelligence Planning Systems (AIPS 2002) , Seite 263--272.
Herausgeber: AAAI Press,
2002
125.
pdf
Dold, Axel; von Henke, Friedrich; Vialard, Vincent; Goerigk, Wolfgang
A Mechanically Verified Compiling Specification for a Realistic Compiler
Dokument Nummer: UIB 03-02
University of Ulm,
2002
Export als: BibTeX, XML