Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1990
Remove all filters
Displaying results 11 to 20 of 30.

  1. Harold Boley

    Declarative Operations on Nets

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

  2. Elisabeth Andre; Thomas Rist

    Towards a Plan-Based Synthesis of Illustrated Documents

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

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

  4. Susanne Biundo

    Plan Generation Using a Method of Deductive Program Synthesis

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

  5. Elisabeth Andre; Thomas Rist

    Wissensbasierte Informationspräsentation: Zwei Beiträge zum Fachgespräch Graphik und KI 1. Ein planbasierter Ansatz zur Synthese illustrierter Dokumente 2. Wissensbasierte Perspektivenwahl für die automatische Erzeugung von 3D-Objektdarstellungen

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

  6. Bernhard Hollunder

    Hybrid Inferences in KL-ONE-based Knowledge Representation Systems

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

  7. Franz Baader

    A Formal Definition for the Expressive Power of Knowledge Representation Languages

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

  8. Bernhard Hollunder; Werner Nutt

    Subsumption Algorithms for Concept Languages

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

  9. Franz Baader

    Terminological Cycles in KL-ONE-based Knowledge Representation Languages

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

  10. Hans Uszkoreit

    La grammaire d'unification catégorielle

    In: Philip Miller; T. Torris (Hrsg.). Formalismes syntaxiques pour le traitement automatique du langage naturel. Pages 183-205, Hermes, Paris, 1990.

Year