Skip to main content Skip to main navigation

Publications

 

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

Displaying results 21 to 30 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. Mona Singh

    A Cognitive Analysis of Event Structure

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

  4. Achim Schupeta

    Organizing Communication and Introspection in a Multi-Agent Blocksworld

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

  5. Lijuan Zhang

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

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

  6. Karl Schlechta; David Makinson

    On Principles and Problems of Defeasible Inheritance

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

  7. Franz Baader; Bernhard Hollunder

    How to Prefer More Specific Defaults in Terminological Default Logic

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

  8. Armin Laux

    Integrating a Modal Logic of Knowledge into Terminological Logics

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

  9. Harold Boley

    A Direkt Semantic Characterization of RELFUN

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

  10. Werner Stephan; Susanne Biundo

    A New Logical Framework for Deductive Planning

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