Skip to main content Skip to main navigation

Publications

Displaying results 1 to 10 of 128.
  1. Bernhard Nebel; Jana Koehler

    Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective

    In: Ruzena Bajcsy (Hrsg.). Proceedings of the 13th International Joint Conference on Artificial Intelligence. International Joint Conference on …

  2. Wolfgang Maaß; Gerd Herzog; Peter Wazinski

    VITRA GUIDE: Utilisation du Langage Naturel et de Représentations Graphiques pour la Description d'Itinéraires

    Universität des Saarlandes, KI-Labor am Lehrstuhl für Informatik IV, Berichte, Vol. 92, Sonderforschungsbereich 314, 1993.

  3. Wolfgang Maaß; Peter Wazinski; Gerd Herzog

    VITRA GUIDE: Multimodal route descriptions for computer assisted vehicle navigation

    In: P. Chung; G. L. Lovegrove; Moonis Ali (Hrsg.). Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Proceedings …

  4. Franz Baader; Martin Buchheit; Bernhard Hollunder

    Cardinality Restrictions on Concepts

    DFKI, DFKI Research Reports (RR), Vol. 93-48, 1993.

  5. Philipp Hanschke

    A Declarative Integration of Terminological, Constraint-based, Data-driven, and Goal-directed Reasoning

    DFKI, DFKI Research Reports (RR), Vol. 93-46, 1993.

  6. Martin Buchheit; Manfred A. Jeusfeld; Werner Nutt; Martin Staudt

    Subsumption between Queries to Object-Oriented Databases

    DFKI, DFKI Research Reports (RR), Vol. 93-44, 1993.

  7. Mathias Bauer; Gabriele Paul

    Logic-based Plan Recognition for Intelligent Help Systems

    DFKI, DFKI Research Reports (RR), Vol. 93-43, 1993.

  8. Winfried Graf

    LAYLAB: A Constraint-Based Layout Manager for Multimedia Presentations

    DFKI, DFKI Research Reports (RR), Vol. 93-41, 1993.

  9. Hubert Comon; Ralf Treinen

    The First-Order Theory of Lexicographic Path Orderings is Undecidable

    DFKI, DFKI Research Reports (RR), Vol. 93-42, 1993.