Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 25 bis 30 von 105
  1. Franz Baader; M. Lenzerini; Werner Nutt; P.F. Patel-Schneider (Hrsg.)

    Working Notes of the 1994 International Workshop on Description Logics

    This collection of papers forms the permanent record of the 1994 International Workshop on Description Logics, that was held at the Gustav Stresemann …

  2. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1993

    DFKI, DFKI Documents (D), Vol. 94-09, 1994.

  3. Harald Feibel

    IGLOO 1.0 - Eine grafikunterstützte Beweisentwicklungsumgebung

    DFKI, DFKI Documents (D), Vol. 94-08, 1994.

  4. Rolf Backofen

    A Complete Axiomatization of a Theory with Feature and Arity Constraints

    DFKI, DFKI Research Reports (RR), Vol. 94-35, 1994.

  5. Franz Baader; Armin Laux

    Terminological Logics with Modal Operators

    DFKI, DFKI Research Reports (RR), Vol. 94-33, 1994.

  6. Otto Kühn; Volker Becker; Georg Lohse; Philipp Neumann

    Integrated Knowledge Utilization and Evolution for the Conservation of Corporate Know-How

    DFKI, DFKI Research Reports (RR), Vol. 94-31, 1994.