Institut für Wirtschaftsinformatik

Seite 4 von 4.

1. Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Bernhard Nebel; Werner Nutt; Hans-Jürgen Profitlich

   Terminological Knowledge Representation: A Proposal for a Terminological Logic

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

2. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann

   Concept Logics

   Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 90-10, 1990.

3. Bernhard Hollunder; Werner Nutt

   Subsumption Algorithms for Concept Languages

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

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

5. Franz Baader; Werner Nutt

   Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification

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

6. Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

   Extended Abstracts of 3rd International Workshop on Unification

   International Workshop on Unification (UNIF-89), 3rd, June 26-28, Lambrecht, Germany, SEKI Reports, Vol. SR-89-17, Universität Kaiserslautern, 1989.

• vorherige
• 1
• …
• 2
• 3
• 4