Skip to main content Skip to main navigation

Publications

Displaying results 1 to 10 of 119.
  1. Klaus-Dieter Althoff; Frank Maurer; Ralph Traphöner; Stefan Wess

    Die Lernkomponente der MOLTKE3-Werkbank zur Diagnose technischer Systeme

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 1991, No. 1, Pages 58-64, FBO-Verlag, 1991.

  2. Winfried Graf; Wolfgang Maaß

    Constraint-basierte Verarbeitung graphischen Wissens

    In: W. Brauer; D. Hernández (Hrsg.). Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 4. Internationaler GI-Kongress Wissensbasierte Systeme, Proceedings. Internationaler GI-Kongress "Wissensbasierte Systeme", 4. October 23-24, München, Germany, Pages 243-253, Springer, 1991.

  3. Wolfgang Wahlster; Elisabeth Andre; Winfried Graf; Thomas Rist

    Designing Illustrated Texts: How Language Production is Influenced by Graphics Generation

    DFKI, DFKI Research Reports (RR), Vol. 91-05, 1991.

  4. Bernhard Hollunder; Franz Baader

    Qualifying Number Restrictions in Concept Languages

    DFKI, DFKI Research Reports (RR), Vol. 91-03, 1991.

  5. Francesco Donini; Bernhard Hollunder; Maurizio Lenzerini; Alberto Marchetti Spaccamela; Daniele Nardi; Werner Nutt

    The Complexity of Existential Quantification in Concept Languages

    DFKI, DFKI Research Reports (RR), Vol. 91-02, 1991.

  6. Munindar P. Singh

    On the Semantics of Protocols Among Distributed Intelligent Agents

    DFKI, DFKI Technical Memos (TM), Vol. 91-09, 1991.

  7. Knut Hinkelmann

    Bidirectional Reasoning of Horn Clause Programs: Transformation and Compilation

    DFKI, DFKI Technical Memos (TM), Vol. 91-02, 1991.

  8. Jana Koehler

    Approaches to the Reuse of Plan Schemata in Planning Formalisms

    DFKI, DFKI Technical Memos (TM), Vol. 91-01, 1991.

  9. Stefan Bussmann

    Prototypical Concept Formation - An Alternative Approach to Knowledge Representation

    DFKI, DFKI Technical Memos (TM), Vol. 91-15, 1991.

  10. Knut Hinkelmann

    Forward Logic Evaluation: Developing a Compiler from a Partially Evaluated Meta Interpreter

    DFKI, DFKI Technical Memos (TM), Vol. 91-13, 1991.