Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 7 bis 12 von 144
  1. Lijuan Zhang

    Entwurf und Implementierung eines Compilers zur Transformation von Werkstückrepräsentationen

    DFKI, DFKI Technical Memos (TM), Vol. 92-01, 1992.

  2. Karl Schlechta

    Defaults, Preorder Semantics and Circumscription

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

  3. Karl Schlechta; David Makinson

    On Principles and Problems of Defeasible Inheritance

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

  4. Franz Baader; Bernhard Hollunder

    How to Prefer More Specific Defaults in Terminological Default Logic

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

  5. Armin Laux

    Integrating a Modal Logic of Knowledge into Terminological Logics

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

  6. Harold Boley

    A Direkt Semantic Characterization of RELFUN

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