Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 1992
Remove all filters
Displaying results 41 to 50 of 144.

  1. Werner Nutt

    Unification in Monoidal Theories is Solving Linear Equations over Semirings

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

  7. Werner Stephan; Susanne Biundo

    A New Logical Framework for Deductive Planning

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

  8. 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.

  9. Hans-Jürgen Bürckert; Werner Nutt

    On Abduction and Answer Generation through Constained Resolution

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

  10. Christoph Klauck; Ralf Legleitner; Ansgar Bernardi

    Heuristic Classification for Automated CAPP

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

Year