Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 21 to 30 of 144.
  1. Philipp Hanschke; Manfred Meyer

    An Alternative to Θ-Subsumption Based on Terminological Reasoning

    DFKI, DFKI Research Reports (RR), Vol. 92-38, 1992.

  2. Philipp Hanschke

    Specifying Role Interaction in Concept Languages

    DFKI, DFKI Research Reports (RR), Vol. 92-37, 1992.

  3. Franz Baader; Philipp Hanschke

    Extensions of Concept Languages for a Mechanical Engineering Application

    DFKI, DFKI Research Reports (RR), Vol. 92-36, 1992.

  4. Manfred Meyer

    Using Hierarchical Constraint Satisfaction for Lathe-Tool Selection in a CIM Environment

    DFKI, DFKI Research Reports (RR), Vol. 92-35, 1992.

  5. Philipp Hanschke

    Terminological Reasoning and Partial Inductive Definitions

    DFKI, DFKI Research Reports (RR), Vol. 92-34, 1992.

  6. Franz Baader

    Unification Theory

    DFKI, DFKI Research Reports (RR), Vol. 92-33, 1992.

  7. Rainer Hoch; Michael Malburg

    Designing a Structured Lexicon for Document Image Analysis

    DFKI, DFKI Research Reports (RR), Vol. 92-32, 1992.

  8. Klaus-Peter Gores; Rainer Bleisinger

    Ein Modell zur Repräsentation von Nachrichtentypen

    DFKI, DFKI Documents (D), Vol. 92-28, 1992.

  9. Martin Harm; Knut Hinkelmann; Thomas Labisch

    Integrating Top-down and Bottom-up Reasoning in CoLab

    DFKI, DFKI Documents (D), Vol. 92-27, 1992.

  10. Enno Tolzmann

    Realisierung eines Werkzeugauswahlmoduls mit Hilfe des Constraint-Systems CONTAX

    DFKI, DFKI Documents (D), Vol. 92-26, 1992.