Publikationen

Zeige Ergebnisse 11 bis 20 von 119.

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.
Karin Harbusch; Wolfgang Finkler; Anne Schauder

Incremental Syntax Generation with Tree Adjoining Grammars

DFKI, DFKI Research Reports (RR), Vol. 91-25, 1991.
Jochen Heinsohn

A Hybrid Approach for Modeling Uncertainty in Terminological Logics

DFKI, DFKI Research Reports (RR), Vol. 91-24, 1991.
Christoph Klauck; Ansgar Bernardi; Ralf Legleitner

FEAT-Rep: Representing Features in CAD/CAM

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

On the Commitments and Precommitments of Limited Agents

DFKI, DFKI Research Reports (RR), Vol. 91-19, 1991.
Bernhard Nebel; Gert Smolka

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

DFKI, DFKI Research Reports (RR), Vol. 91-15, 1991.
Peter Breuer; Jürgen Müller

A Two Level Representation for Spatial Relations, Part I

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

Residuation and Guarded Rules for Constraint Logic Programming

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