Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 11 bis 20 von 144.
  1. Armin Laux

    Integrating a Modal Logic of Knowledge into Terminological Logics

    DFKI, DFKI Research Reports (RR), Vol. 92-56, 1992.

  2. Harold Boley

    A Direkt Semantic Characterization of RELFUN

    DFKI, DFKI Research Reports (RR), Vol. 92-54, 1992.

  3. Werner Stephan; Susanne Biundo

    A New Logical Framework for Deductive Planning

    DFKI, DFKI Research Reports (RR), Vol. 92-53, 1992.

  4. Mathias Bauer; Susanne Biundo; Dietmar Dengler; Jana Koehler; Gabriele Paul

    PHI - A Logic-Based Tool for Intelligent Help Systems

    DFKI, DFKI Research Reports (RR), Vol. 92-52, 1992.

  5. Klaus-Dieter Althoff; Stefan Wess; Brigitte Bartsch-Spörl; Dietmar Janetzko; Frank Maurer; Angie Voss

    Fallbasiertes Schließen in Expertensystemen: Welche Rolle spielen Fälle für wissensbasierte Systeme?

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 1992, No. 4, Pages 14-21, FBO-Verlag, 1992.

  6. Klaus-Peter Gores; Rainer Bleisinger

    Ein Modell zur Repräsentation von Nachrichtentypen

    DFKI, DFKI Documents (D), Vol. 92-28, 1992.

  7. Martin Harm; Knut Hinkelmann; Thomas Labisch

    Integrating Top-down and Bottom-up Reasoning in CoLab

    DFKI, DFKI Documents (D), Vol. 92-27, 1992.

  8. Enno Tolzmann

    Realisierung eines Werkzeugauswahlmoduls mit Hilfe des Constraint-Systems CONTAX

    DFKI, DFKI Documents (D), Vol. 92-26, 1992.

  9. Martin Buchheit

    Klassische Kommunikations- und Koordinationsmodelle

    DFKI, DFKI Documents (D), Vol. 92-25, 1992.