DFKI-LT - Publications

1996
 
Franz#Baader, Hans-Jürgen Bürckert, Werner Nutt (eds.)
Proceedings of the Workshop on Knowledge Representation and Configuration
volume 96-04,
DFKI Documents, Pages 83, DFKI GmbH, DFKI GmbH, 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 (eds.):
Proceedings of the Workshop on Knowledge Representation and Configuration volume 96-04,
DFKI Documents, Pages 11-16, DFKI GmbH, DFKI GmbH, DFKI GmbH, 1996
 
Franz#Baader, Hans-Jürgen Bürckert, Andreas Günter, Werner Nutt (eds.)
Proceedings of the Workshop on Knowledge Representation and Configuration WKRP'96
volume 96-04,
DFKI Documents, Pages 83Technical Report, DFKI, 1996
 
1995
 
Franz#Baader, Martin#Buchheit, M.A. Jeusfeld, Werner Nutt (eds.)
Working Notes of the KI'95 Workshop: KRDB-95 - Reasoning about Structured Objects: Knowledge Representation Meets Databases
volume 95-12,
DFKI Documents, Pages 61Technical Report, DFKI, 1995
 
1994
 
Franz#Baader, M. Lenzerini, Werner Nutt, P.F. Patel-Schneider (eds.)
Working Notes of the 1994 International Workshop on Description Logics
volume 94-10,
DFKI Documents, Pages 118Technical Report, 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., 1994
 
Franz#Baader, Martin#Buchheit, M.A. Jeusfeld, Werner Nutt (eds.)
Working Notes of the KI'94 Workshop: KRDB'94 - Reasoning about Structured Objects: Knowledge Representation Meets Databases
volume 94-11,
DFKI Documents, Pages 65Technical Report, DFKI, 1994
 
Franz Baader, Armin Laux
Terminological Logics with Modal Operators
volume 94-33,
DFKI Research Reports, Pages 29Technical Report, DFKI, 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
Journal of Logic, Language and Information volume 2 number 1, Pages 1-18, Springer, Netherlands, 3/1993
 
Franz Baader, Klaus Schulz
Combination Techniques and Decision Problems for Disunification
volume 93-05,
DFKI Research Reports, Pages 29Technical Report, DFKI, 1993
 
Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems
volume 93-03,
DFKI Research Reports, Pages 28Technical Report, DFKI, 1993
 
Franz Baader, Karl Schlechta
A Semantics for Open Normal Defaults via a Modified Preferential Approach
volume 93-13,
DFKI Research Reports, Pages 25Technical Report, DFKI, 1993
 
Franz Baader, Hans-Jürgen Bürckert
Allowing fpor Contructor Terms and Equations in Terminological Reasoning (Abstract)
in: Eric Domenjoud, Claude Kirchner (eds.):
Proceedings of 1st CCL Workshop volume 93-R-023,
Interner Bericht, Nancy, France, CRIN, CRIN, CRIN Nancy Frankreich, 1993
 
Franz Baader, Bernhard Hollunder
Embedding Defaults into Terminological Knowledge Representation Formalisms
volume 93-20,
DFKI Research Reports, Pages 34Technical Report, DFKI, 1993
 
Franz Baader, Martin Buchheit, Bernhard Hollunder
Cardinality Restrictions on Concepts
volume 93-48,
DFKI Research Reports, Pages 20Technical Report, DFKI, 1993
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Jörg Siekmann
Projekt WINO: Wissens- und Inferenzobjektivierung
Abschlussbericht Technical Report, DFKI GmbH, 1993
 
1992
 
Franz Baader
Unification Theory
volume 92-33,
DFKI Research Reports, Pages 22Technical Report, DFKI, 1992
 
Franz Baader, Philipp Hanschke
Extensions of Concept Languages for a Mechanical Engineering Application
volume 92-36,
DFKI Research Reports, Pages 15Technical Report, DFKI, 1992
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
Terminologische Logik
KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. volume 92 number 3, Pages 23-33, Springer, 1992
 
Franz Baader, Bernhard Hollunder
How to Prefer More Specific Defaults in Terminological Default Logic
volume 92-58,
DFKI Research Reports, Pages 31Technical Report, DFKI, 1992
 
1991
 
Franz Baader, Philipp Hanschke
A Scheme for Integrating Concrete Domains into Concept Languages
volume 91-10,
DFKI Research Reports, Pages 31Technical Report, DFKI, 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 (eds.):
Proceedings of the International Workshop on Terminological Logics volume 91-13,
DFKI Documents, Pages 120-128, Dagstuhl, Germany, DFKI GmbH, DFKI GmbH, 1991
 
Franz Baader, Klaus Schulz
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
volume 91-33,
DFKI Research Reports, Pages 33Technical Report, DFKI, 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
volume 91-01,
DFKI Research Reports, Pages 20Technical Report, DFKI, DFKI GmbH, 1991
 
Bernhard Hollunder, Franz Baader
Qualifying Number Restrictions in Concept Languages
volume 91-03,
DFKI Research Reports, Pages 34Technical Report, DFKI, 1991
 
1990
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Werner Nutt, Jörg Siekmann
Concept Logics
in: J.W. Lloyd (ed.):
Computational Logic volume 1,
ESPRIT Basic Research Series, Pages 177-201, Brussels, Belgium, Springer, 11/1990
 
Franz Baader
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
volume 90-01,
DFKI Research Reports, Pages 33Technical Report, DFKI, 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
volume 90-04,
DFKI Technical Memos, Pages 7Technical Report, DFKI GmbH, DFKI GmbH, 1990
 
Franz Baader
A Formal Definition for the Expressive Power of Knowledge Representation Languages
volume 90-05,
DFKI Research Reports, Pages 22Technical Report, DFKI, 1990
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Werner Nutt, Jörg Siekmann
Concept Logics
volume 90-10,
DFKI Research Reports, Pages 26Technical Report, DFKI, 1990
 
Franz Baader
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
volume 90-13,
DFKI Research Reports, Pages 40Technical Report, DFKI, 1990
 
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Werner Nutt, Jörg Siekmann
Concept Logics
volume 90-10,
DFKI Research Reports, Pages 26,
Research Report Technical Report, DFKI GmbH, DFKI GmbH, 1990
 
Franz Baader, Werner Nutt
Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification
volume 90-16,
DFKI Research Reports, Pages 25Technical Report, DFKI, 1990
 
Franz Baader, Bernhard Hollunder
KRIS: K-nowledge R-epresentation and I-nference S-ystem -System Description-
volume 90-03,
DFKI Technical Memos, Pages 15Technical Report, DFKI, 1990