Skip to main content Skip to main navigation

Publications

Displaying results 11 to 20 of 119.
  1. Bernd Bachmann

    HieraCon - a Knowledge Representation System with Typed Hierarchies and Constraints

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

  2. Thilo C. Horstmann

    Distributed Truth Maintenance

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

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

  4. David Powers; Lary Reeker (Hrsg.)

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

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

  5. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1990

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

  6. Winfried Graf; Wolfgang Maaß

    Constraint-basierte Verarbeitung graphischen Wissens

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

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

  8. Franz Baader; Klaus Schulz

    Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

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