Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1993
Remove all filters
Displaying results 11 to 20 of 128.

  1. Hubert Comon; Ralf Treinen

    The First-Order Theory of Lexicographic Path Orderings is Undecidable

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

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

  3. Stephan Baumann

    Document Recognition of Printed Scores and Transformation into MIDI

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

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

    Neuere Entwicklungen der deklarativen KI-Programmierung -Proceedings

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

  5. Wolfgang Wahlster

    Verbmobil Translation of Face-To-Face Dialogs

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

  6. Bernhard Nebel; Jana Koehler

    Plan Reuse versus Plan Generation: A Theoretical and Empirical Analysis

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

  7. David Traum; Elizabeth Hinkelman

    Conversation Acts in Task-Oriented Spoken Dialogue

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

  8. Stephen P. Spackman; Elizabeth Hinkelman

    Corporate Agents

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

  9. Armin Laux

    Representing Belief in Multi-Agent Worlds via Terminological Logics

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

  10. Hans-Ulrich Krieger; John Nerbonne; Hannes Pirker

    Feature-Based Allomorphy

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

Year