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 51 to 60 of 71.
  1. Martin Buchheit; Manfred A. Jeusfeld; Werner Nutt; Martin Staudt

    Subsumption between Queries to Object-Oriented Databases

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

  2. Mathias Bauer; Gabriele Paul

    Logic-based Plan Recognition for Intelligent Help Systems

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

  3. Winfried Graf

    LAYLAB: A Constraint-Based Layout Manager for Multimedia Presentations

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

  4. Hubert Comon; Ralf Treinen

    The First-Order Theory of Lexicographic Path Orderings is Undecidable

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

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

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

    Neuere Entwicklungen der deklarativen KI-Programmierung -Proceedings

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

  7. Verbmobil Translation of Face-To-Face Dialogs

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

  8. Towards Performance Models for Declarative Grammar Formalisms

    CLAUS-Report, Universität des Saarlandes, Vol. 29, 1993.