Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 7 bis 12 von 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.