Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 119
  1. Erich Achilles; Bernhard Hollunder; Armin Laux; Jörg-Peter Mohren

    KRIS : K-nowledge R-epresentation and I-nference S-ystem - Benutzerhandbuch

    DFKI, DFKI Documents (D), Vol. 91-14, 1991.

  2. Bernhard Nebel; Christof Peltason; Kai von Luck (Hrsg.)

    International Workshop on Terminological Logics

    DFKI, DFKI Documents (D), Vol. 91-13, 1991.

  3. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1990

    DFKI, DFKI Documents (D), Vol. 91-04, 1991.

  4. Harold Boley; Klaus Elsbernd; Hans-Günther Hein; Thomas Krause

    RFM Manual: Compiling RELFUN into the Relational/Functional Machine

    DFKI, DFKI Documents (D), Vol. 91-03, 1991.

  5. Werner Stein; Michael Sintek

    Relfun/X - An Experimental Prolog Implementation of Relfun

    DFKI, DFKI Documents (D), Vol. 91-01, 1991.

  6. Bernd Bachmann

    HieraCon - a Knowledge Representation System with Typed Hierarchies and Constraints

    DFKI, DFKI Documents (D), Vol. 91-12, 1991.

  7. Thilo C. Horstmann

    Distributed Truth Maintenance

    DFKI, DFKI Documents (D), Vol. 91-11, 1991.