Skip to main content Skip to main navigation

Publications

Displaying results 11 to 20 of 35.
  1. Otto Kühn; Marc Linster; Gabriele Schmidt

    Clamping, COKAM, KADS, and OMOS: The Construction and Operationalization of a KADS Conceptual Model

    DFKI, DFKI Technical Memos (TM), Vol. 91-03, 1991.

  2. Knut Hinkelmann

    Bidirectional Reasoning of Horn Clause Programs: Transformation and Compilation

    DFKI, DFKI Technical Memos (TM), Vol. 91-02, 1991.

  3. Jana Koehler

    Approaches to the Reuse of Plan Schemata in Planning Formalisms

    DFKI, DFKI Technical Memos (TM), Vol. 91-01, 1991.

  4. Franz Baader; Klaus Schulz

    Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

    DFKI, DFKI Research Reports (RR), Vol. 91-33, 1991.

  5. Hans-Ulrich Krieger; John Nerbonne

    Feature-Based Inheritance Networks for Computational Lexicons

    DFKI, DFKI Research Reports (RR), Vol. 91-31, 1991.

  6. 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.

  7. 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.

  8. Mathias Bauer; Susanne Biundo; Dietmar Dengler; Matthias Hecking; Jana Koehler; G. Merziger

    Integrated Plan Generation and Recognition - A Logic-Based Approach

    DFKI, DFKI Research Reports (RR), Vol. 91-26, 1991.

  9. Karin Harbusch; Wolfgang Finkler; Anne Schauder

    Incremental Syntax Generation with Tree Adjoining Grammars

    DFKI, DFKI Research Reports (RR), Vol. 91-25, 1991.

  10. Jochen Heinsohn

    A Hybrid Approach for Modeling Uncertainty in Terminological Logics

    DFKI, DFKI Research Reports (RR), Vol. 91-24, 1991.