Publikationen

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.

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.

Peter Wazinski

Objektlokalisation in graphischen Darstellungen

DFKI, DFKI Documents (D), Vol. 91-19, 1991.

Thomas Reinartz

Definition von Problemklassen im Maschinenbau als eine Begriffsbildungsaufgabe

DFKI, DFKI Documents (D), Vol. 91-18, 1991.

Andreas Becker

Analyse der Planungsverfahren der KI im Hinblick auf ihre Eignung für die Arbeitsplanung

DFKI, DFKI Documents (D), Vol. 91-17, 1991.

Jörg Thoben; Franz Schmalhofer; Thomas Reinartz

Wiederholungs-, Varianten- und Neuplanung bei der Fertigung rotationssymmetrischer Drehteile

DFKI, DFKI Documents (D), Vol. 91-16, 1991.

Harold Boley; Philipp Hanschke; Martin Harm; Knut Hinkelmann; Thomas Labisch; Manfred Meyer; Jörg Müller; Thomas Oltzen; Michael Sintek; Werner Stein; Frank Steinle

MikroCAD2NC: A Declarative Lathe-Workplanning Model Transforming CA D-like Geometries into Abstract NC Programs

DFKI, DFKI Documents (D), Vol. 91-15, 1991.