Skip to main content Skip to main navigation

Publications

Displaying results 11 to 20 of 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. Ansgar Bernardi; Harold Boley; Philipp Hanschke; Knut Hinkelmann; Christoph Klauck; Otto Kühn; Ralf Legleitner; Manfred Meyer; M.M. Richter; Franz Schmalhofer; Gabriele Schmidt; Walter Sommer

    ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge

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

  5. Mathias Bauer; Susanne Biundo; Dietmar Dengler; Matthias Hecking; Jana Koehler; G. Merziger

    Integrated Plan Generation and Recognition - A Logic-Based Approach

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

  6. Karin Harbusch; Wolfgang Finkler; Anne Schauder

    Incremental Syntax Generation with Tree Adjoining Grammars

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

  7. Jochen Heinsohn

    A Hybrid Approach for Modeling Uncertainty in Terminological Logics

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

  8. Christoph Klauck; Ansgar Bernardi; Ralf Legleitner

    FEAT-Rep: Representing Features in CAD/CAM

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

  9. Munindar P. Singh

    On the Commitments and Precommitments of Limited Agents

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

  10. Bernhard Nebel; Gert Smolka

    Attributive Description Formalisms ... and the Rest of the World

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