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 11 to 20 of 28.
  1. Franz Baader

    A Formal Definition for the Expressive Power of Knowledge Representation Languages

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

  2. Bernhard Hollunder; Werner Nutt

    Subsumption Algorithms for Concept Languages

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

  3. Franz Baader

    Terminological Cycles in KL-ONE-based Knowledge Representation Languages

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

  4. Andreas Becker

    The Window Tool Kit

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

  5. Georg Seul

    Logisches Programmieren mit Feature - Typen

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

  6. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1989

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

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

  8. Jay Weber

    The Myth of Domain-Independent Persistence

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

  9. Som Bandyopadhyay

    Towards an Understanding of Coherence in Multimodal Discourse

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

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