Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 11 bis 20 von 58
  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.