Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 13 bis 18 von 58
  1. Bernhard Hollunder

    Hybrid Inferences in KL-ONE-based Knowledge Representation Systems

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

  2. Franz Baader

    A Formal Definition for the Expressive Power of Knowledge Representation Languages

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

  3. Bernhard Hollunder; Werner Nutt

    Subsumption Algorithms for Concept Languages

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

  4. Franz Baader

    Terminological Cycles in KL-ONE-based Knowledge Representation Languages

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

  5. Andreas Becker

    The Window Tool Kit

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

  6. Georg Seul

    Logisches Programmieren mit Feature - Typen

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