Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 119.
  1. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1990

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

  2. 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.

  3. Werner Stein; Michael Sintek

    Relfun/X - An Experimental Prolog Implementation of Relfun

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

  4. Wolfgang Wahlster; Elisabeth Andre; Winfried Graf; Thomas Rist

    Designing Illustrated Texts: How Language Production is Influenced by Graphics Generation

    DFKI, DFKI Research Reports (RR), Vol. 91-05, 1991.

  5. Bernhard Hollunder; Franz Baader

    Qualifying Number Restrictions in Concept Languages

    DFKI, DFKI Research Reports (RR), Vol. 91-03, 1991.

  6. Francesco Donini; Bernhard Hollunder; Maurizio Lenzerini; Alberto Marchetti Spaccamela; Daniele Nardi; Werner Nutt

    The Complexity of Existential Quantification in Concept Languages

    DFKI, DFKI Research Reports (RR), Vol. 91-02, 1991.

  7. Bernhard Nebel

    Belief Revision and Default Reasoning: Syntax-Based Approaches

    DFKI, DFKI Research Reports (RR), Vol. 91-11, 1991.

  8. Franz Baader; Philipp Hanschke

    A Scheme for Integrating Concrete Domains into Concept Languages

    DFKI, DFKI Research Reports (RR), Vol. 91-10, 1991.