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. Bernhard Nebel; Gert Smolka

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

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

  5. Peter Breuer; Jürgen Müller

    A Two Level Representation for Spatial Relations, Part I

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

  6. Gert Smolka

    Residuation and Guarded Rules for Constraint Logic Programming

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

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

    The Absorption Principle and E-Type Anaphora

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

  8. Bernhard Nebel

    Belief Revision and Default Reasoning: Syntax-Based Approaches

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

  9. Franz Baader; Philipp Hanschke

    A Scheme for Integrating Concrete Domains into Concept Languages

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

  10. Wolfgang Wahlster; Elisabeth Andre; Som Bandyopadhyay; Winfried Graf; Thomas Rist

    WIP: The Coordinated Generation of Multimodal Presentations from a Common Representation

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