Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 1993
Remove all filters
Displaying results 81 to 90 of 128.

  1. Franz Baader; Martin Buchheit; Bernhard Hollunder

    Cardinality Restrictions on Concepts

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

  2. Philipp Hanschke

    A Declarative Integration of Terminological, Constraint-based, Data-driven, and Goal-directed Reasoning

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

  3. Rainer Hoch

    On Virtual Partitioning of Large Dictionaries for Contextual Post-Processing to Improve Character Recognition

    DFKI, DFKI Research Reports (RR), Vol. 93-45, 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. Stephan Baumann

    Document Recognition of Printed Scores and Transformation into MIDI

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

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

    Neuere Entwicklungen der deklarativen KI-Programmierung -Proceedings

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

Year