This page contains all publications of the institute. If you are searching for a particular paper that might have been written before the researcher joined us, please visit his or her individual page.

Please note that there is also a list of all students' theses written at our institute.

Publications of the Institute of Artificial Intelligence

Author


All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Z
All :: Padgham, ... , Patel-Schneider, Pfab, Pfeifer, ... , Profitlich

Preferences

Show keywords Show abstracts

10.
default
von Henke, Friedrich; Luther, Marko; Pfeifer, Holger; Rueß, Harald; Schwier, Detlef; Strecker, Martin; Wagner, Matthias
The TYPELAB Specification and Verification Environment
In M. Wirsing and M. Nivat, editor, Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology (AMAST '96) Volume 1101 of Lecture Notes in Computer Science , page 604--607.
Publisher: Springer,
1996
9.
default
Dold, Axel; von Henke, Friedrich; Pfeifer, Holger; Rueß, Harald
Generic Compilation Schemes for Simple Programming Constructs
Document number: 96-12
Ulm University,
1996
8.
default
Andre, Elisabeth; Finkler, Wolfgang; Graf, Winfried; Harbusch, Karin; Heinsohn, Jochen; Kilger, Anne; Nebel, Bernhard; Profitlich, Hans-Jürgen; Rist, Thomas; Wahlster, Wolfgang; Butz, Andreas; Jameson, Anthony
WIP: From Multimedia to Intellimedia (Abstract of Video)
Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95) , page 2053--2054.
1995
7.
pdf
Rueß, Harald; Pfeifer, Holger; von Henke, Friedrich
Formalization and Reasoning in a Reflective Architecture
In M. Ibrahim and P. Cointe and F. Cummins and F. Giunchiglia and J. Malenfant, editor, IJCAI 1995 Workshop on Reflection and Meta Level Architecture and their Application in AI
Montreal, Canada
1995
6.
default
Dold, Axel; von Henke, Friedrich; Pfeifer, Holger; Rueß, Harald
A Generic Specification for Verifying Peephole Optimizations
Document number: 95-14
Ulm University,
1995
5.
default
Baader, Franz; Hollunder, Bernhard; Nebel, Bernhard; Profitlich, Hans-Jürgen; Franconi, Enrico
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems or "Making KRIS get a move on"
Applied Intelligence, 4(2):109--132
1994
4.
default
Heinsohn, Jochen; Kudenko, Daniel; Nebel, Bernhard; Profitlich, Hans-Jürgen
An Empirical Analysis of Terminological Representation Systems
Artificial Intelligence, 68(2):367--397
1994
3.
default
Padgham, Lin; Nebel, Bernhard
Combining classification and nonmonotonic inheritance reasoning: A first step
Publisher: Springer-Verlag,
1993
2.
default
Andre, Elisabeth; Graf, Winfried; Heinsohn, Jochen; Nebel, Bernhard; Profitlich, Hans-Jürgen; Rist, Thomas; Wahlster, Wolfgang
PPP: Personalized Plan-Based Presenter - Project Proposal
Document number: DFKI Document D-93-05
Deutsches Forschungszentrum für Künstliche Intelligenz,DFKI,
1993
1.
default
Baur, P.; Plasa, ; Kejwal, P.; Drexler, R.; Reif, W.; Stephan, Werner; Wolpers, A.; Hutter, D.; Sengler, C.; Canver, Ercument
The Verification Support Environment VSE
IFA Symposium on Safety, Security and Reliability of Computers
1992
Export as: BibTeX, XML