Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 11 bis 20 von 128
  1. Brigitte Krenn; Martin Volk

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

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

  2. Andreas Abecker

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

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

  3. Dennis Drollinger

    Intelligentes Backtracking in Inferenzsystemen am Beispiel Terminologischer Logiken

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

  4. Bernhard Herbig

    Eine homogene Implementierungsebene für einen hybriden Wissensrepräsentationsformalismus

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

  5. Harold Boley; Klaus Elsbernd; Michael Herfert; Michael Sintek; Werner Stein

    RELFUN Guide: Programming with Relations and Functions Made Easy

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

  6. Franz Baader; Martin Buchheit; Bernhard Hollunder

    Cardinality Restrictions on Concepts

    DFKI, DFKI Research Reports (RR), Vol. 93-48, 1993.

  7. Philipp Hanschke

    A Declarative Integration of Terminological, Constraint-based, Data-driven, and Goal-directed Reasoning

    DFKI, DFKI Research Reports (RR), Vol. 93-46, 1993.