Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1993
Remove all filters
Displaying results 31 to 40 of 128.

  1. Philipp Hanschke; Jörg Würtz

    Satisfiability of the Smallest Binary Program

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

  2. Wolfgang Wahlster; Elisabeth Andre; Wolfgang Finkler; Hans-Jürgen Profitlich; Thomas Rist

    Plan-based Integration of Natural Language and Graphics Generation

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

  3. Bernhard Hollunder

    An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics

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

  4. Michael Sintek

    Indexing PROLOG Procedures into DAGs by Heuristic Classification

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

  5. Hans-Günther Hein

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

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

  6. Harold Boley; Ulrich Buhrmann; Christof Kremer

    Konzeption einer deklarativen Wissensbasis über recyclingrelevante Materialien

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

  7. Pierre Sablayrolles; Achim Schupeta

    Conflict Resolving Negotiation for COoperative Schedule Management Agents (COSMA)

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

  8. Otto Kühn; Andreas Birk

    Reconstructive Integrated Explanation of Lathe Production Plans

    DFKI, DFKI Technical Memos (TM), Vol. 93-01, 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. Franz Baader; Klaus Schulz

    Combination Techniques and Decision Problems for Disunification

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

Year