Skip to main content Skip to main navigation

Publications

Displaying results 11 to 20 of 144.
  1. Martin Harm; Knut Hinkelmann; Thomas Labisch

    Integrating Top-down and Bottom-up Reasoning in CoLab

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

  2. Enno Tolzmann

    Realisierung eines Werkzeugauswahlmoduls mit Hilfe des Constraint-Systems CONTAX

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

  3. Martin Buchheit

    Klassische Kommunikations- und Koordinationsmodelle

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

  4. Jürgen Müller; Donald Steiner (Hrsg.)

    Kooperierende Agenten

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

  5. Michael Herfert

    Parsen und Generieren der Prolog-artigen Syntax von RELFUN

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

  6. Karl Schlechta

    Defaults, Preorder Semantics and Circumscription

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

  7. Karl Schlechta; David Makinson

    On Principles and Problems of Defeasible Inheritance

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

  8. Franz Baader; Bernhard Hollunder

    How to Prefer More Specific Defaults in Terminological Default Logic

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

  9. Armin Laux

    Integrating a Modal Logic of Knowledge into Terminological Logics

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

  10. Harold Boley

    A Direkt Semantic Characterization of RELFUN

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