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 11 to 20 of 92.

  1. Karl Schlechta; David Makinson

    On Principles and Problems of Defeasible Inheritance

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

  2. Franz Baader; Bernhard Hollunder

    How to Prefer More Specific Defaults in Terminological Default Logic

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

  3. Armin Laux

    Integrating a Modal Logic of Knowledge into Terminological Logics

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

  4. Harold Boley

    A Direkt Semantic Characterization of RELFUN

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

  5. Werner Stephan; Susanne Biundo

    A New Logical Framework for Deductive Planning

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

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

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

    On Abduction and Answer Generation through Constained Resolution

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

  8. Klaus-Peter Gores; Rainer Bleisinger

    Ein Modell zur Repräsentation von Nachrichtentypen

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

  9. Martin Harm; Knut Hinkelmann; Thomas Labisch

    Integrating Top-down and Bottom-up Reasoning in CoLab

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

  10. Enno Tolzmann

    Realisierung eines Werkzeugauswahlmoduls mit Hilfe des Constraint-Systems CONTAX

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

Year