Skip to main content Skip to main navigation

Publications

Displaying results 51 to 60 of 93.
  1. Werner Nutt

    Unification in Monoidal Theories is Solving Linear Equations over Semirings

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

  2. Achim Schupeta

    Organizing Communication and Introspection in a Multi-Agent Blocksworld

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

  3. Lijuan Zhang

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

    DFKI, DFKI Technical Memos (TM), Vol. 92-01, 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. 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.

  8. Mona Singh

    A Cognitive Analysis of Event Structure

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

  9. Klaus-Peter Gores; Rainer Bleisinger

    Ein Modell zur Repräsentation von Nachrichtentypen

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

  10. Martin Harm; Knut Hinkelmann; Thomas Labisch

    Integrating Top-down and Bottom-up Reasoning in CoLab

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