Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 81 to 90 of 144.
  1. Franz Baader

    Unification Theory

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

  2. Rainer Hoch; Michael Malburg

    Designing a Structured Lexicon for Document Image Analysis

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

  3. Automatic Design of Multimodal Presentations

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

  4. Rolf Backofen; Gert Smolka

    A Complete and Recursive Feature Theory

    DFKI, DFKI Research Reports (RR), Vol. 92-30, 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 …

  6. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    FEAT-REP: Representing Feature Languages in CAD/CAM

    In: N. W. M. Ko; S. T. Tan (Hrsg.). Proceedings of the International Conference on Manufacturing Automation. International Conference on Manufacturing …

  7. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    PIM: Skeletal plan based CAPP

    In: N. W. M. Ko; S. T. Tan (Hrsg.). Proceedings of the International Conference on Manufacturing Automation. International Conference on Manufacturing …

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

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

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