Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 11 bis 20 von 119
  1. Knut Hinkelmann

    Forward Logic Evaluation: Developing a Compiler from a Partially Evaluated Meta Interpreter

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

  2. Klaus Becker; Christoph Klauck; Johannes Schwagereit

    FEAT-PATR: Eine Erweiterung des D-PATR zur Feature-Erkennung in CAD/CAM

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

  3. Peter Wazinski

    Generating Spatial Descriptions for Cross-modal References

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

  4. Béla Buschauer; Peter Poller; Anne Schauder; Karin Harbusch

    Tree Adjoining Grammars mit Unifikation

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

  5. Munindar P. Singh

    On the Semantics of Protocols Among Distributed Intelligent Agents

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

  6. Johannes Stein

    Aspects of Cooperating Agents

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

  7. Harold Boley (Hrsg.)

    A Sampler of Relational/Functional Definitions

    Second, Revised Edition, DFKI, DFKI Technical Memos (TM), Vol. 91-04, 1991.

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

  9. Knut Hinkelmann

    Bidirectional Reasoning of Horn Clause Programs: Transformation and Compilation

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

  10. Jana Koehler

    Approaches to the Reuse of Plan Schemata in Planning Formalisms

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