Skip to main content Skip to main navigation

Publications

Displaying results 21 to 30 of 119.
  1. Bernhard Hollunder; Franz Baader

    Qualifying Number Restrictions in Concept Languages

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

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

  3. Winfried Graf; Wolfgang Maaß

    Constraint-basierte Verarbeitung graphischen Wissens

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

  4. Bernhard Nebel; Christer Bäckström

    On the Computational Complexity of Temporal Projection and some related Problems

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

  5. Stefan Bussmann

    Prototypical Concept Formation - An Alternative Approach to Knowledge Representation

    DFKI, DFKI Technical Memos (TM), Vol. 91-15, 1991.

  6. Knut Hinkelmann

    Forward Logic Evaluation: Developing a Compiler from a Partially Evaluated Meta Interpreter

    DFKI, DFKI Technical Memos (TM), Vol. 91-13, 1991.

  7. Klaus Becker; Christoph Klauck; Johannes Schwagereit

    FEAT-PATR: Eine Erweiterung des D-PATR zur Feature-Erkennung in CAD/CAM

    DFKI, DFKI Technical Memos (TM), Vol. 91-12, 1991.

  8. Peter Wazinski

    Generating Spatial Descriptions for Cross-modal References

    DFKI, DFKI Technical Memos (TM), Vol. 91-11, 1991.

  9. Béla Buschauer; Peter Poller; Anne Schauder; Karin Harbusch

    Tree Adjoining Grammars mit Unifikation

    DFKI, DFKI Technical Memos (TM), Vol. 91-10, 1991.

  10. Munindar P. Singh

    On the Semantics of Protocols Among Distributed Intelligent Agents

    DFKI, DFKI Technical Memos (TM), Vol. 91-09, 1991.