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.

Elisabeth Andre; Thomas Rist

Synthesizing Illustrated Documents: A Plan-Based Approach

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

Wolfgang Wahlster; Elisabeth Andre; Winfried Graf; Thomas Rist

Designing Illustrated Texts: How Language Production is Influenced by Graphics Generation

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

Bernhard Hollunder; Franz Baader

Qualifying Number Restrictions in Concept Languages

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

Francesco Donini; Bernhard Hollunder; Maurizio Lenzerini; Alberto Marchetti Spaccamela; Daniele Nardi; Werner Nutt

The Complexity of Existential Quantification in Concept Languages

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