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 51 bis 60 von 144
  1. Hans-Jürgen Bürckert; Werner Nutt

    On Abduction and Answer Generation through Constrained Resolution

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

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

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

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

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

  6. Bernd Bachmann; Ansgar Bernardi; Christoph Klauck; Ralf Legleitner; Michael M. Richter

    Aspects of Comprehensive Design

    In: ECAI92 Workshop on Concurrent Engineering: Requirements for Knowledge-Based Design Support. European Conference on Artificial Intelligence …

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

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

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

    Feature based Integration of CAD and CAPP

    In: Proceedings of CAD'92: Neue Konzepte zur Realisierung anwendungsorientierter CAD-Systeme. GI-Fachtagungen, May 14-15, Berlin, Germany, Pages …

  10. Ralf Legleitner; Ansgar Bernardi; Christoph Klauck

    PIM: Planning in Manufacturing using Skeletal Plans and Features

    DFKI, DFKI Research Reports (RR), Vol. 92-19, 4/1992.