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

    Intelligentes Backtracking in Inferenzsystemen am Beispiel Terminologischer Logiken

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

  2. Bernhard Herbig

    Eine homogene Implementierungsebene für einen hybriden Wissensrepräsentationsformalismus

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

  3. Harold Boley; Klaus Elsbernd; Michael Herfert; Michael Sintek; Werner Stein

    RELFUN Guide: Programming with Relations and Functions Made Easy

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

  4. Franz Baader; Martin Buchheit; Bernhard Hollunder

    Cardinality Restrictions on Concepts

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

  5. Philipp Hanschke

    A Declarative Integration of Terminological, Constraint-based, Data-driven, and Goal-directed Reasoning

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

  6. Martin Buchheit; Manfred A. Jeusfeld; Werner Nutt; Martin Staudt

    Subsumption between Queries to Object-Oriented Databases

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

  7. Grammatikformalismen in der Generierung und ihre Verarbeitung

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