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

  5. Elisabeth Andre; Thomas Rist

    Synthesizing Illustrated Documents: A Plan-Based Approach

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

  6. Wolfgang Wahlster; Elisabeth Andre; Winfried Graf; Thomas Rist

    Designing Illustrated Texts: How Language Production is Influenced by Graphics Generation

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

  7. Bernhard Hollunder; Franz Baader

    Qualifying Number Restrictions in Concept Languages

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

  8. Francesco Donini; Bernhard Hollunder; Maurizio Lenzerini; Alberto Marchetti Spaccamela; Daniele Nardi; Werner Nutt

    The Complexity of Existential Quantification in Concept Languages

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

  9. Winfried Graf; Wolfgang Maaß

    Constraint-basierte Verarbeitung graphischen Wissens

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

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