Skip to main content Skip to main navigation



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

Displaying results 21 to 30 of 119.
  1. Harold Boley; Klaus Elsbernd; Hans-Günther Hein; Thomas Krause

    RFM Manual: Compiling RELFUN into the Relational/Functional Machine

    DFKI, DFKI Documents (D), Vol. 91-03, 1991.

  2. Werner Stein; Michael Sintek

    Relfun/X - An Experimental Prolog Implementation of Relfun

    DFKI, DFKI Documents (D), Vol. 91-01, 1991.

  3. Winfried Graf; Wolfgang Maaß

    Constraint-basierte Verarbeitung graphischen Wissens

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

  4. Bernhard Nebel; Christer Bäckström

    On the Computational Complexity of Temporal Projection and some related Problems

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

  5. Franz Baader; Klaus Schulz

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

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

  6. Hans-Ulrich Krieger; John Nerbonne

    Feature-Based Inheritance Networks for Computational Lexicons

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

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

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

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