Publikationen

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

Zeige Ergebnisse 21 bis 30 von 119

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.
Hans-Ulrich Krieger; John Nerbonne

Feature-Based Inheritance Networks for Computational Lexicons

DFKI, DFKI Research Reports (RR), Vol. 91-31, 1991.
Stefan Bussmann

Prototypical Concept Formation - An Alternative Approach to Knowledge Representation

DFKI, DFKI Technical Memos (TM), Vol. 91-15, 1991.
Knut Hinkelmann

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

DFKI, DFKI Technical Memos (TM), Vol. 91-13, 1991.
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.
Peter Wazinski

Generating Spatial Descriptions for Cross-modal References

DFKI, DFKI Technical Memos (TM), Vol. 91-11, 1991.
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.