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. Jochen Heinsohn

    A Hybrid Approach for Modeling Uncertainty in Terminological Logics

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

  5. Christoph Klauck; Ansgar Bernardi; Ralf Legleitner

    FEAT-Rep: Representing Features in CAD/CAM

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

  6. Munindar P. Singh

    On the Commitments and Precommitments of Limited Agents

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

  7. Bernhard Nebel; Gert Smolka

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

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

  8. Peter Breuer; Jürgen Müller

    A Two Level Representation for Spatial Relations, Part I

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

  9. Gert Smolka

    Residuation and Guarded Rules for Constraint Logic Programming

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

  10. J. Mark Gawron; John Nerbonne; Stanley Peters

    The Absorption Principle and E-Type Anaphora

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