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

Präferenzen

Zeige Schlüsselwörter Zeige Zusammenfassung

137.
pdf
Zimmermann, Wolf; Dold, Axel
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines
Abstract State Machines 2003 -- Proceedings of the 10th International Workshop, ASM 2003 , Seite 391--406.
2003
136.
pdf
Liebig, Thorsten; Noppens, Olaf
OntoTrack: Fast Browsing and Easy Editing of Large Ontologies
In York Sure and Oscar Corcho, Editor, Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON 2004) Band 87 aus CEUR Workshop Proceedings
Herausgeber: CEUR-WS.org,
2003
135.
pdf
Timo, Weithöner; Liebig, Thorsten; Specht, Günther
Storing and Querying Ontologies in Logic Databases
Proceedings of the First International Workshop on Semantic Web and Databases (SWDB'03) , Seite 329--348.
Berlin, Germany
2003
134.
pdf
Luther, Marko
Elaboration and Erasure in Type Theory
PhD Thesis
Universität Ulm, Germany
2003
133.
default
Herbst, Joachim
Ein induktiver Ansatz zur Akquisition und Adaption von Workflow-Modellen.
PhD Thesis
University of Ulm,
2003
132.
pdf
Pfeifer, Holger
Formal Analysis of Fault-Tolerant Algorithms in the Time-Triggered Architecture
PhD Thesis
Ulm University, Germany
2003
Export als: BibTeX, XML