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 21 to 30 of 58.
  1. Franz Baader; Werner Nutt

    Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification

    DFKI, DFKI Research Reports (RR), Vol. 90-16, 1990.

  2. Franz Schmalhofer; Otto Kühn; Gabriele Schmidt

    Integrated Knowledge Acquisition from Text, Previously Solved Cases, and Expert Memories

    DFKI, DFKI Research Reports (RR), Vol. 90-14, 1990.

  3. Harold Boley

    Declarative Operations on Nets

    DFKI, DFKI Research Reports (RR), Vol. 90-12, 1990.

  4. Elisabeth Andre; Thomas Rist

    Towards a Plan-Based Synthesis of Illustrated Documents

    DFKI, DFKI Research Reports (RR), Vol. 90-11, 1990.

  5. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann

    Concept Logics

    DFKI, DFKI Research Reports (RR), Vol. 90-10, 1990.

  6. Susanne Biundo

    Plan Generation Using a Method of Deductive Program Synthesis

    DFKI, DFKI Research Reports (RR), Vol. 90-09, 1990.

  7. Rainer Bleisinger; Andreas Dengel; Frank Hönes

    Softwaresysteme zur interaktiven Wissensverwaltung

    DFKI-Studie im Auftrag der Deutschen Forschungsanstalt für Luft- und Raumfahrttechnik e.V. (DLR), 1/1990.

  8. Andreas Dengel; N. M. Mattos

    Integration of Document Representation, Processing and Management

    DFKI, DFKI Research Reports (RR), Vol. 90-03, 3/1990.