Publications

Search narrowed by:

Displaying results 11 to 13 of 13.

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

Bidirectional Reasoning of Horn Clause Programs: Transformation and Compilation

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

Approaches to the Reuse of Plan Schemata in Planning Formalisms

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