Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 31 bis 40 von 64
  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. Franz Baader; Martin Buchheit; Bernhard Hollunder

    Cardinality Restrictions on Concepts

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

  3. Philipp Hanschke

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

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

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

  5. Mathias Bauer; Gabriele Paul

    Logic-based Plan Recognition for Intelligent Help Systems

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

  6. Joachim Niehren; Andreas Podelski; Ralf Treinen

    Equational and Membership Constraints for Infinite Trees

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

  7. Franz Baader; Karl Schlechta

    A Semantics for Open Normal Defaults via a Modified Preferential Approach

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

  8. Pierre Sablayrolles

    A Two-Level Semantics for French Expressions of Motion

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

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

    Decidable Reasoning in Terminological Knowledge Representation Systems

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