Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 11 bis 20 von 119
  1. Otto Kühn; Marc Linster; Gabriele Schmidt

    Clamping, COKAM, KADS, and OMOS: The Construction and Operationalization of a KADS Conceptual Model

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

  2. Knut Hinkelmann

    Bidirectional Reasoning of Horn Clause Programs: Transformation and Compilation

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

  3. Jana Koehler

    Approaches to the Reuse of Plan Schemata in Planning Formalisms

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

  4. Winfried Graf; Wolfgang Maaß

    Constraint-basierte Verarbeitung graphischen Wissens

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

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

  6. Franz Baader; Klaus Schulz

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

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

  7. Hans-Ulrich Krieger; John Nerbonne

    Feature-Based Inheritance Networks for Computational Lexicons

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

  8. Peter Wazinski

    Objektlokalisation in graphischen Darstellungen

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

  9. Thomas Reinartz

    Definition von Problemklassen im Maschinenbau als eine Begriffsbildungsaufgabe

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

  10. Andreas Becker

    Analyse der Planungsverfahren der KI im Hinblick auf ihre Eignung für die Arbeitsplanung

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