Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1 bis 10 von 128
  1. Indexing PROLOG Procedures into DAGs by Heuristic Classification

    DFKI, DFKI Technical Memos (TM), Vol. 93-05, 1993.

  2. Hans-Günther Hein

    Propagation Techniques in WAM-based Architectures --- The FIDO-III Approach

    DFKI, DFKI Technical Memos (TM), Vol. 93-04, 1993.

  3. Harold Boley; Ulrich Buhrmann; Christof Kremer

    Konzeption einer deklarativen Wissensbasis über recyclingrelevante Materialien

    DFKI, DFKI Technical Memos (TM), Vol. 93-03, 1993.

  4. Pierre Sablayrolles; Achim Schupeta

    Conflict Resolving Negotiation for COoperative Schedule Management Agents (COSMA)

    DFKI, DFKI Technical Memos (TM), Vol. 93-02, 1993.

  5. Otto Kühn; Andreas Birk

    Reconstructive Integrated Explanation of Lathe Production Plans

    DFKI, DFKI Technical Memos (TM), Vol. 93-01, 1993.

  6. Franz Baader; Martin Buchheit; Bernhard Hollunder

    Cardinality Restrictions on Concepts

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

  7. Philipp Hanschke

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

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

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

  9. Mathias Bauer; Gabriele Paul

    Logic-based Plan Recognition for Intelligent Help Systems

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