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 31 to 40 of 58.
  1. Georg Seul

    Logisches Programmieren mit Feature - Typen

    DFKI, DFKI Documents (D), Vol. 90-02, 1990.

  2. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1989

    DFKI, DFKI Documents (D), Vol. 90-01, 1990.

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

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

  5. Harold Boley

    Declarative Operations on Nets

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

  6. Elisabeth Andre; Thomas Rist

    Towards a Plan-Based Synthesis of Illustrated Documents

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

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

  8. Susanne Biundo

    Plan Generation Using a Method of Deductive Program Synthesis

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