Skip to main content Skip to main navigation

Publications

Displaying results 71 to 80 of 144.
  1. Michael Beetz

    Decision-theoretic Transformational Planning

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

  2. Achim Schupeta

    Main Topics of DAI: A Review

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

  3. John Nerbonne

    Feature-Based Lexicons: An Example and a Comparison to DATR

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

  4. Harold Boley

    Extended Logic-plus-Functional Programming

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

  5. Werner Nutt

    Unification in Monoidal Theories is Solving Linear Equations over Semirings

    DFKI, DFKI Research Reports (RR), Vol. 92-01, 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.