Skip to main content Skip to main navigation

Publications

Displaying results 7 to 12 of 128.
  1. Winfried Graf

    LAYLAB: A Constraint-Based Layout Manager for Multimedia Presentations

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

  2. Hubert Comon; Ralf Treinen

    The First-Order Theory of Lexicographic Path Orderings is Undecidable

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

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

  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. Verbmobil Translation of Face-To-Face Dialogs

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