DFKI Publications by Baader, Franz

RR-90-01

Terminological Cycles in KL-ONE-based Knowledge Representation Languages

RR-90-05

A Formal Definition for the Expressive Power of Knowledge Representation Languages

RR-90-10

with Hans-Jürgen Bürckert , Bernhard Hollunder , Werner Nutt , Jörg H. Siekmann
Concept Logics

RR-90-13

Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles

RR-90-16

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

RR-91-01

with Hans-Jürgen Bürckert , Bernhard Nebel , Werner Nutt , Gert Smolka
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

RR-91-03

with Bernhard Hollunder
Qualifying Number Restrictions in Concept Languages

RR-91-10

with Philipp Hanschke
A Scheme for Integrating Concrete Domains into Concept Languages

RR-91-33

with Klaus Schulz
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

RR-92-33

Unification Theory

RR-92-36

with Philipp Hanschke
Extensions of Concept Languages for a Mechanical Engineering Application

RR-92-58

with Bernhard Hollunder
How to Prefer More Specific Defaults in Terminological Default Logic

RR-93-03

with Bernhard Hollunder , Bernhard Nebel , Hans-Jürgen Profitlich , Enrico Franconi
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems

RR-93-05

with Klaus Schulz
Combination Techniques and Decision Problems for Disunification

RR-93-13

with Karl Schlechta
A Semantics for Open Normal Defaults via a Modified Preferential Approach

RR-93-20

with Bernhard Hollunder
Embedding Defaults into Terminological Knowledge Representation Formalisms

RR-93-48

with Martin Buchheit , Bernhard Hollunder
Cardinality Restrictions on Concepts

RR-94-33

with Armin Laux
Terminological Logics with Modal Operators

TM-90-03

with Bernhard Hollunder
: Knowledge Representation and Inference System
-System Description-

TM-90-04

with 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

Edited:

D-94-10

with M. Lenzerini , W. Nutt , P. F. Patel-Schneider (Eds.)
Working Notes of the 1994 International Workshop on Description Logics

D-94-11

with M. Buchheit , M. A. Jeusfeld , W. Nutt (Eds.)
Working Notes of the KI'94 Workshop: KRDB'94 - Reasoning about Structured Objects: Knowledge Representation Meets Databases

D-95-12

with M. Buchheit , M. A. Jeusfeld , W. Nutt (Eds.)
Working Notes of the KI'95 Workshop:
KRDB-95 - Reasoning about Structured Objects:
Knowledge Representation Meets Databases

D-96-04

with Hans-Jürgen Bürckert , Andreas Günter , Werner Nutt (Hrsg.)
Proceedings of the Workshop on Knowledge Representation and Configuration WRKP'96

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.