Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 11 bis 20 von 52
  1. Knut Hinkelmann

    Bidirectional Reasoning of Horn Clause Programs: Transformation and Compilation

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

  2. Jana Koehler

    Approaches to the Reuse of Plan Schemata in Planning Formalisms

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

  3. Stefan Bussmann

    Prototypical Concept Formation - An Alternative Approach to Knowledge Representation

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

  4. Jörg Thoben; Franz Schmalhofer; Thomas Reinartz

    Wiederholungs-, Varianten- und Neuplanung bei der Fertigung rotationssymmetrischer Drehteile

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

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

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

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

    International Workshop on Terminological Logics

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

  8. Bernd Bachmann

    HieraCon - a Knowledge Representation System with Typed Hierarchies and Constraints

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

  9. Thilo C. Horstmann

    Distributed Truth Maintenance

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

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