Publikationen

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 81 bis 90 von 119

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

Tree Adjoining Grammars mit Unifikation

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

On the Semantics of Protocols Among Distributed Intelligent Agents

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

Aspects of Cooperating Agents

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

A Sampler of Relational/Functional Definitions

Second, Revised Edition, DFKI, DFKI Technical Memos (TM), Vol. 91-04, 1991.
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.
Winfried Graf; Wolfgang Maaß

Constraint-basierte Verarbeitung graphischen Wissens

DFKI, DFKI Research Reports (RR), Vol. 91-35, 1991.
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.
Franz Baader; Klaus Schulz

Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

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