Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 1 bis 10 von 59
  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. Joachim Niehren; Andreas Podelski; Ralf Treinen

    Equational and Membership Constraints for Infinite Trees

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

  5. Franz Baader; Karl Schlechta

    A Semantics for Open Normal Defaults via a Modified Preferential Approach

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

  6. Pierre Sablayrolles

    A Two-Level Semantics for French Expressions of Motion

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

  7. Martin Buchheit; Francesco M. Donini; Andrea Schaerf

    Decidable Reasoning in Terminological Knowledge Representation Systems

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

  8. Philipp Hanschke; Jörg Würtz

    Satisfiability of the Smallest Binary Program

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

  9. Harold Boley; Philipp Hanschke; Knut Hinkelmann; Manfred Meyer

    CoLab: A Hybrid Knowledge Representation and Compilation Laboratory

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

  10. Franz Baader; Klaus Schulz

    Combination Techniques and Decision Problems for Disunification

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