Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1990
Remove all filters
Displaying results 1 to 10 of 58.

  1. Franz Baader; Bernhard Hollunder

    KRIS: K-nowledge R-epresentation and I-nference S-ystem -System Description-

    DFKI, DFKI Technical Memos (TM), Vol. 90-03, 1990.

  2. Jay Weber

    The Myth of Domain-Independent Persistence

    DFKI, DFKI Technical Memos (TM), Vol. 90-02, 1990.

  3. Som Bandyopadhyay

    Towards an Understanding of Coherence in Multimodal Discourse

    DFKI, DFKI Technical Memos (TM), Vol. 90-01, 1990.

  4. Franz Baader

    A Formal Definition for the Expressive Power of Knowledge Representation Languages

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

  5. Bernhard Hollunder; Werner Nutt

    Subsumption Algorithms for Concept Languages

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

  6. Franz Baader

    Terminological Cycles in KL-ONE-based Knowledge Representation Languages

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

  7. Franz Baader

    Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles

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

  8. Harold Boley

    Declarative Operations on Nets

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

  9. Elisabeth Andre; Thomas Rist

    Towards a Plan-Based Synthesis of Illustrated Documents

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

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

Year