Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1992
Alle Filter entfernen
Zeige Ergebnisse 51 bis 60 von 144.

  1. Holger Peine

    An Investigation of the Applicability of Terminological Reasoning to Application-Independent Software-Analysis

    DFKI, DFKI Documents (D), Vol. 92-13, 1992.

  2. Otto Kühn; Franz Schmalhofer; Gabriele Schmidt

    Integrated Knowledge Acquisition for Lathe Production Planning: a Picture Gallery (Integrierte Wissensakquisition zur Fertigungsplanung für Drehteile: eine Bildergalerie)

    DFKI, DFKI Documents (D), Vol. 92-12, 1992.

  3. Kerstin Becker

    Möglichkeiten der Wissensmodellierung für technische Diagnose-Expertensysteme

    DFKI, DFKI Documents (D), Vol. 92-11, 1992.

  4. 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 Informatik e.V. (KI), Vol. 92, No. 3, Pages 23-33, Springer, 1992.

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

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

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

    On Abduction and Answer Generation through Constrained Resolution

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

  8. 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 Informatik e.V. (KI), Vol. 92, No. 3, Pages 69-70, Springer, 1992.

  9. Ansgar Bernardi; Ralf Legleitner

    Rezension: Alfred Huber: Wissensbasierte Planung und Überwachung in der Fertigung.

    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. 6, No. 4, Springer, 1992.

  10. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner; Michael Schulte; Rainer Stark

    Feature based integration of CAD and CAPP

    DFKI GmbH, DFKI Research Reports (RR), Vol. 92-05, 5/1992.

Jahr