Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1992
Remove all filters
Displaying results 81 to 90 of 144.

  1. Philipp Hanschke; Manfred Meyer

    An Alternative to Θ-Subsumption Based on Terminological Reasoning

    DFKI, DFKI Research Reports (RR), Vol. 92-38, 1992.

  2. Philipp Hanschke

    Specifying Role Interaction in Concept Languages

    DFKI, DFKI Research Reports (RR), Vol. 92-37, 1992.

  3. Franz Baader; Philipp Hanschke

    Extensions of Concept Languages for a Mechanical Engineering Application

    DFKI, DFKI Research Reports (RR), Vol. 92-36, 1992.

  4. Wolfgang Maaß

    Constraint-basierte Plazierung in multimodalen Dokumenten am Beispiel des Layout-Managers in WIP..

    Mastersthesis, Department of Computer Science, 1992.

  5. Klaus-Dieter Althoff; Stefan Wess; Brigitte Bartsch-Spörl; Dietmar Janetzko; Frank Maurer; Angie Voss

    Fallbasiertes Schließen in Expertensystemen: Welche Rolle spielen Fälle für wissensbasierte 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. 1992, No. 4, Pages 14-21, FBO-Verlag, 1992.

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

  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; Werner Nutt

    On Abduction and Answer Generation through Constrained Resolution

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

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

Year