Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 119.
  1. Franz Baader; Klaus Schulz

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

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

  2. Hans-Ulrich Krieger; John Nerbonne

    Feature-Based Inheritance Networks for Computational Lexicons

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

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

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

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

  6. Karin Harbusch; Wolfgang Finkler; Anne Schauder

    Incremental Syntax Generation with Tree Adjoining Grammars

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

  7. Jochen Heinsohn

    A Hybrid Approach for Modeling Uncertainty in Terminological Logics

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

  8. Christoph Klauck; Ansgar Bernardi; Ralf Legleitner

    FEAT-Rep: Representing Features in CAD/CAM

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

  9. Munindar P. Singh

    On the Commitments and Precommitments of Limited Agents

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

  10. Bernhard Nebel; Gert Smolka

    Attributive Description Formalisms ... and the Rest of the World

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