Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 21 bis 30 von 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. Automatic Design of Multimodal Presentations

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

  9. Rolf Backofen; Gert Smolka

    A Complete and Recursive Feature Theory

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

  10. Zhaohur Wu; Ansgar Bernardi; Christoph Klauck

    Skeletal Plans Reuse: A Restricted Conceptual Graph Classification Approach

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