Skip to main content Skip to main navigation

Publications

Displaying results 51 to 60 of 100.
  1. Harold Boley

    Extended Logic-plus-Functional Programming

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

  2. Werner Nutt

    Unification in Monoidal Theories is Solving Linear Equations over Semirings

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

    Defaults, Preorder Semantics and Circumscription

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

  7. Franz Schmalhofer; Christoph Globig; Jörg Thoben

    The refitting of plans by a human expert

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

  8. Jürgen Müller; Jörg P. Müller; Markus Pischel; Ralf Scheidhauer

    On the Representation of Temporal Knowledge

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

  9. Karl Schlechta; David Makinson

    On Principles and Problems of Defeasible Inheritance

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

  10. Franz Baader; Bernhard Hollunder

    How to Prefer More Specific Defaults in Terminological Default Logic

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