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. Michael Beetz

    Decision-theoretic Transformational Planning

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

  2. Achim Schupeta

    Main Topics of DAI: A Review

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

  3. John Nerbonne

    Feature-Based Lexicons: An Example and a Comparison to DATR

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

  4. Harold Boley

    Extended Logic-plus-Functional Programming

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

  5. Werner Nutt

    Unification in Monoidal Theories is Solving Linear Equations over Semirings

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

  6. David Traum; Elizabeth Hinkelman

    Conversation Acts in Task-Oriented Spoken Dialogue

    In: Computational Intelligence, Vol. 8, No. 3, Pages 579-599, Wiley, 1992.

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

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

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

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

    On Abduction and Answer Generation through Constrained Resolution

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