Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 114
  1. Philipp Hanschke; Knut Hinkelmann

    Combining Terminological and Rule-based Reasoning for Abstraction Processes

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

  2. Philipp Hanschke; Manfred Meyer

    An Alternative to Θ-Subsumption Based on Terminological Reasoning

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

  3. Philipp Hanschke

    Specifying Role Interaction in Concept Languages

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

  4. Franz Baader; Philipp Hanschke

    Extensions of Concept Languages for a Mechanical Engineering Application

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

  5. Manfred Meyer

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

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

  6. Philipp Hanschke

    Terminological Reasoning and Partial Inductive Definitions

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

  7. Franz Baader

    Unification Theory

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

  8. Rainer Hoch; Michael Malburg

    Designing a Structured Lexicon for Document Image Analysis

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

  9. Automatic Design of Multimodal Presentations

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

  10. Rolf Backofen; Gert Smolka

    A Complete and Recursive Feature Theory

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