Skip to main content Skip to main navigation

Publications

Displaying results 1 to 10 of 60.
  1. Klaus-Dieter Althoff; Stefan Wess; Brigitte Bartsch-Spörl; Dietmar Janetzko; Frank Maurer; Angie Voss

    Fallbasiertes Schließen in Expertensystemen: Welche Rolle spielen Fälle für wissensbasierte Systeme?

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  2. Anne Kilger

    Realization of Tree Adjoining Grammars with Unification

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

  3. Otto Kühn; Franz Schmalhofer

    Hierarchical skeletal plan refinement: Task- and inference structures

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

  4. Armin Laux

    Integrating a Modal Logic of Knowledge into Terminological Logics

    DFKI, DFKI Research Reports (RR), Vol. 92-56, 1992.

  5. Harold Boley

    A Direkt Semantic Characterization of RELFUN

    DFKI, DFKI Research Reports (RR), Vol. 92-54, 1992.

  6. Werner Stephan; Susanne Biundo

    A New Logical Framework for Deductive Planning

    DFKI, DFKI Research Reports (RR), Vol. 92-53, 1992.

  7. Mathias Bauer; Susanne Biundo; Dietmar Dengler; Jana Koehler; Gabriele Paul

    PHI - A Logic-Based Tool for Intelligent Help Systems

    DFKI, DFKI Research Reports (RR), Vol. 92-52, 1992.

  8. Hans-Jürgen Bürckert; Werner Nutt

    On Abduction and Answer Generation through Constained Resolution

    DFKI, DFKI Research Reports (RR), Vol. 92-51, 1992.

  9. Christoph Klauck; Ralf Legleitner; Ansgar Bernardi

    Heuristic Classification for Automated CAPP

    DFKI, DFKI Research Reports (RR), Vol. 92-49, 1992.