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. Klaus Becker

    Verfahren der automatisierten Diagnose technischer Systeme

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

  2. Elisabeth Andre; Robin Cohen; Winfried Graf; Bob Kass; Cécile Paris; Wolfgang Wahlster (Hrsg.)

    UM92: Third International Workshop on User Modeling Proceedings

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

  3. Judith Engelkamp (Hrsg.)

    Verzeichnis von Softwarekomponenten für natürlichsprachliche Systeme

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

  4. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1991

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

  5. Johannes Schwagereit

    Integration von Graph-Grammatiken und Taxonomien zur Repräsentation von Features in CIM

    DFKI, DFKI Documents (D), Vol. 92-14, 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

    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 …

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

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

    On Abduction and Answer Generation through Constrained Resolution

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

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