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, ... , 1998, 1999, 2000, ... , 2018

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

107.
default
Rintanen, Jussi
Constructing Conditional Plans by a Theorem-Prover
Journal of Artificial Intelligence Research (JAIR), :323--352
1999
106.
default
Seitz, Alexander; Uhrmacher, Adelinde M.; Damm, D.
A Case-Based Prediction of Experimental Studies
International Journal on Artificial Intelligence in Medicine, 15(3):255--273
1999
105.
default
1999 International Conference on Web-Based Modeling and Simulation
In A. Bruzzone and Adelinde M. Uhrmacher and E. Page, Editor, Band 31
Herausgeber: SCS, San Diego, CA
1999
104.
pdf
Pfab, Stephan; Rueß, Harald; Owre, Sam; W. von Henke, Friedrich
Towards Light-Weight Verification and Heavy-Weight Testing
In Berghammer, Rudolf and Lakhnech, Yassine, Editor, Tool Support for System Specification, Development and Verification aus Advances in Computing Science
Seite 189--200.
Herausgeber: Springer Vienna,
1999
ISBN: 978-3-211-83282-0
103.
default
Illmann, Torsten; Weber, Michael; Martens, Alke; Seitz, Alexander
A Pattern-Oriented Design of a Web-Based and Case-Oriented Multimedia Training System in Medicine
4th World Conference on Integrated Design & Process Technology
1999
102.
pdf
Rintanen, Jussi; Jungholt, Hartmut
Numeric State Variables in Constraint-Based Planning
Recent Advances in AI Planning, Proceedings of the 5th European Conference on Planning (ECP '99) , Seite 109--121.
1999
101.
pdf
Rintanen, Jussi
Improvements to the Evaluation of Quantified Boolean Formulae
Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999) , Seite 1192--1197.
Herausgeber: Morgan Kaufmann Publishers,
1999
100.
default
Xu, Jie; Randell, Brian; Romanovsky, A.; J. Stroud, Robert; F. Zorzo, Avelino; Canver, Ercument; von Henke, Friedrich
Rigorous development of a safety-critical system based on coordinated atomic actions
Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing. Digest of Papers. , Seite 68--75.
1999
99.
default
Canver, Ercument; W. von Henke, Friedrich
Formal Development of Object-Based Systems in a Temporal Logic Setting
Formal Methods for Open Object-Based Distributed Systems (FMOODS '99) Band 10 , Seite 419--436.
Herausgeber: Springer US,
1999
98.
default
Dold, Axel; Vialard, Vincent
Formal Verification of a Compiler Back-End Generic Checker Program
Proceedings of the Andrei Ershov Third International Conference on Perspectives of System Informatics (PSI'99) aus Lecture Notes in Computer Science , Seite 470--480.
Herausgeber: Springer-Verlag,
1999
Export als: BibTeX, XML