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 81 bis 90 von 144
  1. Franz Schmalhofer; Christoph Globig; Jörg Thoben

    The refitting of plans by a human expert

    DFKI, DFKI Technical Memos (TM), Vol. 92-05, 1992.

  2. Jürgen Müller; Jörg P. Müller; Markus Pischel; Ralf Scheidhauer

    On the Representation of Temporal Knowledge

    DFKI, DFKI Technical Memos (TM), Vol. 92-04, 1992.

  3. Mona Singh

    A Cognitive Analysis of Event Structure

    DFKI, DFKI Technical Memos (TM), Vol. 92-03, 1992.

  4. Achim Schupeta

    Organizing Communication and Introspection in a Multi-Agent Blocksworld

    DFKI, DFKI Technical Memos (TM), Vol. 92-02, 1992.

  5. Lijuan Zhang

    Entwurf und Implementierung eines Compilers zur Transformation von Werkstückrepräsentationen

    DFKI, DFKI Technical Memos (TM), Vol. 92-01, 1992.

  6. Hans-Jürgen Bürckert; Werner Nutt

    On Abduction and Answer Generation through Constrained Resolution

    Research Report, Vol. RR-92-51, 1992.

  7. Hans-Jürgen Bürckert

    Deduktion als Berechnung

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatiserung des logischen Denkens. Pages 151-178, Oldenbourg, 1992.

  8. Hans-Jürgen Bürckert

    Unifikationstheorie

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 112-125, Oldenbourg, 1992.

  9. Hans-Jürgen Bürckert

    Deduktion, Abduktion, Induktion. KI-Lexikon.

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  10. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt

    Terminologische Logik

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …