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 71 to 80 of 128.
  1. Gabriele Schmidt; Frank Peters; Gernod Laufkötter

    User Manual of COKAM+

    DFKI, DFKI Documents (D), Vol. 93-02, 1993.

  2. Philipp Hanschke; Thom Frühwirth

    Terminological Reasoning with Constraint Handling Rules

    DFKI, DFKI Documents (D), Vol. 93-01, 1993.

  3. Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

    Modeling Epistemic Propositions

    DFKI, DFKI Documents (D), Vol. 93-25, 1993.

  4. Brigitte Krenn; Martin Volk

    DiTo-Datenbank: Datendokumentation zu Funktionsverbgefügen und Relativsätzen

    DFKI, DFKI Documents (D), Vol. 93-24, 1993.

  5. Andreas Abecker

    Implementierung graphischer Benutzungsoberflächen mit Tcl/Tk und Common Lisp

    DFKI, DFKI Documents (D), Vol. 93-22, 1993.

  6. Dennis Drollinger

    Intelligentes Backtracking in Inferenzsystemen am Beispiel Terminologischer Logiken

    DFKI, DFKI Documents (D), Vol. 93-21, 1993.

  7. Bernhard Herbig

    Eine homogene Implementierungsebene für einen hybriden Wissensrepräsentationsformalismus

    DFKI, DFKI Documents (D), Vol. 93-20, 1993.