Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1990
Alle Filter entfernen
Zeige Ergebnisse 11 bis 16 von 16

  1. Bernhard Hollunder; Werner Nutt

    Subsumption Algorithms for Concept Languages

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

  2. Franz Baader

    Terminological Cycles in KL-ONE-based Knowledge Representation Languages

    DFKI, DFKI Research Reports (RR), Vol. 90-01, 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.

Jahr