Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1993
Alle Filter entfernen
Zeige Ergebnisse 31 bis 40 von 59

  1. Wolfgang Wahlster; Elisabeth Andre; Wolfgang Finkler; Hans-Jürgen Profitlich; Thomas Rist

    Plan-based Integration of Natural Language and Graphics Generation

    DFKI, DFKI Research Reports (RR), Vol. 93-02, 1993.

  2. Bernhard Hollunder

    An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics

    DFKI, DFKI Research Reports (RR), Vol. 93-01, 1993.

  3. Mathias Bauer; Gabriele Paul

    Logic-based Plan Recognition for Intelligent Help Systems

    DFKI, DFKI Research Reports (RR), Vol. 93-43, 1993.

  4. Winfried Graf

    LAYLAB: A Constraint-Based Layout Manager for Multimedia Presentations

    DFKI, DFKI Research Reports (RR), Vol. 93-41, 1993.

  5. Hubert Comon; Ralf Treinen

    The First-Order Theory of Lexicographic Path Orderings is Undecidable

    DFKI, DFKI Research Reports (RR), Vol. 93-42, 1993.

  6. Francesco M. Donini; Maurizio Lenzerini; Daniele Nardi; Werner Nutt; Andrea Schaerf

    Queries, Rules and Definitions as Epistemic Statements in Concept Languages

    DFKI, DFKI Research Reports (RR), Vol. 93-40, 1993.

  7. Stephan Baumann

    Document Recognition of Printed Scores and Transformation into MIDI

    DFKI, DFKI Research Reports (RR), Vol. 93-38, 1993.

  8. Harold Boley; François Bry; Ulrich Geske (Hrsg.)

    Neuere Entwicklungen der deklarativen KI-Programmierung -Proceedings

    DFKI, DFKI Research Reports (RR), Vol. 93-35, 1993.

  9. Wolfgang Wahlster

    Verbmobil Translation of Face-To-Face Dialogs

    DFKI, DFKI Research Reports (RR), Vol. 93-34, 1993.

  10. Bernhard Nebel; Jana Koehler

    Plan Reuse versus Plan Generation: A Theoretical and Empirical Analysis

    DFKI, DFKI Research Reports (RR), Vol. 93-33, 1993.

Jahr