Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 51 bis 60 von 128
  1. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1992

    DFKI, DFKI Documents (D), Vol. 93-04, 1993.

  2. Gabriele Schmidt; Frank Peters; Gernod Laufkötter

    User Manual of COKAM+

    DFKI, DFKI Documents (D), Vol. 93-02, 1993.

  3. Philipp Hanschke; Thom Frühwirth

    Terminological Reasoning with Constraint Handling Rules

    DFKI, DFKI Documents (D), Vol. 93-01, 1993.

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

  5. Mathias Bauer; Gabriele Paul

    Logic-based Plan Recognition for Intelligent Help Systems

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

  6. Winfried Graf

    LAYLAB: A Constraint-Based Layout Manager for Multimedia Presentations

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

  7. Hubert Comon; Ralf Treinen

    The First-Order Theory of Lexicographic Path Orderings is Undecidable

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

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

  9. Towards Performance Models for Declarative Grammar Formalisms

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