Skip to main content Skip to main navigation

Publications

 

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

Search narrowed by:

Year: 1992
Remove all filters
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. Anne Kilger

    Realization of Tree Adjoining Grammars with Unification

    DFKI, DFKI Technical Memos (TM), Vol. 92-08, 1992.

  8. Otto Kühn; Franz Schmalhofer

    Hierarchical skeletal plan refinement: Task- and inference structures

    DFKI, DFKI Technical Memos (TM), Vol. 92-06, 1992.

  9. Franz Schmalhofer; Christoph Globig; Jörg Thoben

    The refitting of plans by a human expert

    DFKI, DFKI Technical Memos (TM), Vol. 92-05, 1992.

  10. Jürgen Müller; Jörg P. Müller; Markus Pischel; Ralf Scheidhauer

    On the Representation of Temporal Knowledge

    DFKI, DFKI Technical Memos (TM), Vol. 92-04, 1992.

Year