Skip to main content Skip to main navigation

Publications

Displaying results 21 to 30 of 128.
  1. Jürgen Müller (Hrsg.)

    Beiträge zum Gründungsworkshop der Fachgruppe Verteilte Künstliche Intelligenz

    DFKI GI-Fachtagungen, April 29-30, Saarbrücken, Germany, DFKI Documents (D), Vol. 93-06, DFKI, 1993.

  2. Elisabeth Andre; Winfried Graf; Jochen Heinsohn; Bernhard Nebel; Hans-Jürgen Profitlich; Thomas Rist; Wolfgang Wahlster

    PPP: Personalized Plan-Based Presenter

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

  3. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1992

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

  4. Gabriele Schmidt; Frank Peters; Gernod Laufkötter

    User Manual of COKAM+

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

  5. Philipp Hanschke; Thom Frühwirth

    Terminological Reasoning with Constraint Handling Rules

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

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

    Decidable Reasoning in Terminological Knowledge Representation Systems

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

  7. Philipp Hanschke; Jörg Würtz

    Satisfiability of the Smallest Binary Program

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

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

  9. Franz Baader; Klaus Schulz

    Combination Techniques and Decision Problems for Disunification

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

  10. Christoph Klauck; Johannes Schwagereit

    GGD: Graph Grammar Developer for features in CAD/CAM

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