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 41 to 50 of 119.
  1. Harold Boley; Philipp Hanschke; Martin Harm; Knut Hinkelmann; Thomas Labisch; Manfred Meyer; Jörg Müller; Thomas Oltzen; Michael Sintek; Werner Stein; Frank Steinle

    MikroCAD2NC: A Declarative Lathe-Workplanning Model Transforming CA D-like Geometries into Abstract NC Programs

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

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

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

    International Workshop on Terminological Logics

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

  4. Bernd Bachmann

    HieraCon - a Knowledge Representation System with Typed Hierarchies and Constraints

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

  5. Thilo C. Horstmann

    Distributed Truth Maintenance

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

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

  7. David Powers; Lary Reeker (Hrsg.)

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

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

  8. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1990

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