Skip to main content Skip to main navigation

Publications

 

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

Displaying results 51 to 60 of 128.
  1. Frank Berger; Thomas Fehrle; Kristof Klöckner; Volker Schölles; Markus A. Thies; Wolfgang Wahlster

    PLUS - Plan-based User Support Final Project Report

    DFKI, DFKI Research Reports (RR), Vol. 93-15, 1993.

  2. Joachim Niehren; Andreas Podelski; Ralf Treinen

    Equational and Membership Constraints for Infinite Trees

    DFKI, DFKI Research Reports (RR), Vol. 93-14, 1993.

  3. Franz Baader; Karl Schlechta

    A Semantics for Open Normal Defaults via a Modified Preferential Approach

    DFKI, DFKI Research Reports (RR), Vol. 93-13, 1993.

  4. Gabriele Schmidt; Frank Peters; Gernod Laufkötter

    User Manual of COKAM+

    DFKI, DFKI Documents (D), Vol. 93-02, 1993.

  5. Philipp Hanschke; Thom Frühwirth

    Terminological Reasoning with Constraint Handling Rules

    DFKI, DFKI Documents (D), Vol. 93-01, 1993.

  6. Pierre Sablayrolles

    A Two-Level Semantics for French Expressions of Motion

    DFKI, DFKI Research Reports (RR), Vol. 93-12, 1993.

  7. Martin Buchheit; Francesco M. Donini; Andrea Schaerf

    Decidable Reasoning in Terminological Knowledge Representation Systems

    DFKI, DFKI Research Reports (RR), Vol. 93-10, 1993.

  8. Philipp Hanschke; Jörg Würtz

    Satisfiability of the Smallest Binary Program

    DFKI, DFKI Research Reports (RR), Vol. 93-09, 1993.

  9. Harold Boley; Philipp Hanschke; Knut Hinkelmann; Manfred Meyer

    CoLab: A Hybrid Knowledge Representation and Compilation Laboratory

    DFKI, DFKI Research Reports (RR), Vol. 93-08, 1993.

  10. John Nerbonne; Stephan Oepen; Abdel Kader Diagne; Karsten Konrad; Ingo Neis

    NLL - Tools for Meaning Representation

    In: Stephan Busemann; Karin Harbusch (Hrsg.). DFKI Workshop on Natural Language Systems: Reusability and Modularity. DFKI Workshops, October 23, …