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 31 to 40 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. Stefan Bussmann

    Prototypical Concept Formation - An Alternative Approach to Knowledge Representation

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

  4. Knut Hinkelmann

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

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

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

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

    International Workshop on Terminological Logics

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

  7. Bernd Bachmann

    HieraCon - a Knowledge Representation System with Typed Hierarchies and Constraints

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

  8. Thilo C. Horstmann

    Distributed Truth Maintenance

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

  9. Donald R. Steiner; Jürgen Müller (Hrsg.)

    MAAMAW'91: Pre-Proceedings of the 3rd European Workshop on "Modeling Autonomous Agents and Multi-Agent Worlds"

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

  10. David Powers; Lary Reeker (Hrsg.)

    Proceedings MLNLO'91 - Machine Learning of Natural Language and Ontology

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