Publikationen von Franz Baader

1996

• Hans-Jürgen Bürckert; Werner Nutt; Christian Seel
  The Role of Formal Knowledge Representation in Configuration.
  In: Franz Baader; Hans-Jürgen Bürckert; Werner Nutt (Hrsg.). Proeceedings of the Workshop on Knowledge Representation and Configuration. Workshop on Knowledge Representation and Configuration (WKRP-96), DFKI GmbH, Pages 11-16, DFKI Documents (D), Vol. 96-04, DFKI GmbH, 1996.
• Franz Baader; Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)
  Proceedings of the Workshop on Knowledge Representation and Configuration.
  Workshop on Knowledge Representation and Configuration (WKRP-96), DFKI Documents (D), Vol. 96-04, DFKI GmbH, 1996.
• Franz Baader; Hans-Jürgen Bürckert; Andreas Günter; Werner Nutt (Hrsg.)
  Proceedings of the Workshop on Knowledge Representation and Configuration WKRP'96.
  DFKI, DFKI Documents (D), Vol. 96-04, 1996.

1995

• Franz Baader; Martin Buchheit; M.A. Jeusfeld; Werner Nutt (Hrsg.)
  Working Notes of the KI'95 Workshop: KRDB-95 - Reasoning about Structured Objects: Knowledge Representation Meets Databases.
  DFKI, DFKI Documents (D), Vol. 95-12, 1995.

1994

• 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 Institut in Bonn, Germany on 28 and 29 May 1994. DFKI Documents (D), Vol. 94-10, 1994.
• Franz Baader; Martin Buchheit; M.A. Jeusfeld; Werner Nutt (Hrsg.)
  Working Notes of the KI'94 Workshop: KRDB'94 - Reasoning about Structured Objects: Knowledge Representation Meets Databases.
  DFKI, DFKI Documents (D), Vol. 94-11, 1994.
• Franz Baader; Armin Laux
  Terminological Logics with Modal Operators.
  DFKI, DFKI Research Reports (RR), Vol. 94-33, 1994.

1993

• Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka
  On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations.
  In: Journal of Logic, Language and Information, Vol. 2, No. 1, Pages 1-18, Springer, Netherlands, 3/1993.
• Franz Baader; Hans-Jürgen Bürckert
  Allowing fpor Contructor Terms and Equations in Terminological Reasoning (Abstract).
  In: Eric Domenjoud; Claude Kirchner (Hrsg.). Proceedings of 1st CCL Workshop. CRIN Nancy Frankre, Interner Bericht, Vol. 93-R-023, CRIN, 1993.
• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Jörg Siekmann
  Projekt WINO: Wissens- und Inferenzobjektivierung.
  Abschlussbericht, 1993.
• Franz Baader; Bernhard Hollunder; Bernhard Nebel; Hans-Jürgen Profitlich; Enrico Franconi
  An Empirical Analysis of Optimization Techniques for Terminological Representation Systems.
  DFKI, DFKI Research Reports (RR), Vol. 93-03, 1993.
• Franz Baader; Klaus Schulz
  Combination Techniques and Decision Problems for Disunification.
  DFKI, DFKI Research Reports (RR), Vol. 93-05, 1993.
• Franz Baader; Karl Schlechta
  A Semantics for Open Normal Defaults via a Modified Preferential Approach.
  DFKI, DFKI Research Reports (RR), Vol. 93-13, 1993.
• Franz Baader; Bernhard Hollunder
  Embedding Defaults into Terminological Knowledge Representation Formalisms.
  DFKI, DFKI Research Reports (RR), Vol. 93-20, 1993.
• Franz Baader; Martin Buchheit; Bernhard Hollunder
  Cardinality Restrictions on Concepts.
  DFKI, DFKI Research Reports (RR), Vol. 93-48, 1993.

1992

• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt
  Terminologische Logik.
  In: Künstliche Intelligenz, Vol. 92, No. 3, Pages 23-33, 1992.
• Franz Baader
  Unification Theory.
  DFKI, DFKI Research Reports (RR), Vol. 92-33, 1992.
• Franz Baader; Philipp Hanschke
  Extensions of Concept Languages for a Mechanical Engineering Application.
  DFKI, DFKI Research Reports (RR), Vol. 92-36, 1992.
• Franz Baader; Bernhard Hollunder
  How to Prefer More Specific Defaults in Terminological Default Logic.
  DFKI, DFKI Research Reports (RR), Vol. 92-58, 1992.

1991

• Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Werner Nutt; Hans-Jürgen Profitlich
  Terminological Knowledge Representation: A Proposal for a Terminological Logic.
  In: Kai von Luck; Christoph Peltason; Bernhard Nebel (Hrsg.). Proceedings of the International Workshop on Terminological Logics. International Workshop on Terminological Logics, March 6-8, Dagstuhl, Germany, Pages 120-128, DFKI Documents (D), Vol. 91-13, DFKI GmbH, 1991.
• Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka
  On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations.
  DFKI, DFKI Research Reports (RR), Vol. 91-01, 1991.
• Bernhard Hollunder; Franz Baader
  Qualifying Number Restrictions in Concept Languages.
  DFKI, DFKI Research Reports (RR), Vol. 91-03, 1991.
• Franz Baader; Philipp Hanschke
  A Scheme for Integrating Concrete Domains into Concept Languages.
  DFKI, DFKI Research Reports (RR), Vol. 91-10, 1991.
• Franz Baader; Klaus Schulz
  Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures.
  DFKI, DFKI Research Reports (RR), Vol. 91-33, 1991.

1990

• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
  Concept Logics.
  In: J.W. Lloyd (Hrsg.). Computational Logic. Symposium on Computational Logic, located at 7th ESPRIT Conference, November 13-14, Brussels, Belgium, Pages 177-201, ESPRIT Basic Research Series, Vol. 1, Springer, 11/1990.
• 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.
• 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.
• Franz Baader
  Terminological Cycles in KL-ONE-based Knowledge Representation Languages.
  DFKI, DFKI Research Reports (RR), Vol. 90-01, 1990.
• Franz Baader
  A Formal Definition for the Expressive Power of Knowledge Representation Languages.
  DFKI, DFKI Research Reports (RR), Vol. 90-05, 1990.
• 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.
• Franz Baader
  Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles.
  DFKI, DFKI Research Reports (RR), Vol. 90-13, 1990.
• 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.
• 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.