Publikationen

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.

Daniel Flickinger; John Nerbonne

Inheritance and Complementation: A Case Study of Easy Adjectives and Related Nouns

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

Ansgar Bernardi; Harold Boley; Philipp Hanschke; Knut Hinkelmann; Christoph Klauck; Otto Kühn; Ralf Legleitner; Manfred Meyer; M.M. Richter; Franz Schmalhofer; Gabriele Schmidt; Walter Sommer

ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge

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

Mathias Bauer; Susanne Biundo; Dietmar Dengler; Matthias Hecking; Jana Koehler; G. Merziger

Integrated Plan Generation and Recognition - A Logic-Based Approach

DFKI, DFKI Research Reports (RR), Vol. 91-26, 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.