DFKI Publications by Buchheit, Martin

D-92-25

Klassische Kommunikations- und Koordinationsmodelle

RR-93-10

with Francesco M. Donini , Andrea Schaerf
Decidable Reasoning in Terminological Knowledge Representation Systems

RR-93-44

with Manfred A. Jeusfeld , Werner Nutt , Martin Staudt
Subsumption between Queries to Object-Oriented Databases

RR-93-48

with Franz Baader , Bernhard Hollunder
Cardinality Restrictions on Concepts

RR-95-04

with H.-J. Bürckert , B. Hollunder , A. Laux , W. Nutt , M. Wójcik
Task Acquisition with a Description Logic Reasoner

RR-95-09

with F. M. Donini , W. Nutt , A. Schaerf
A Refined Architecture for Terminological Systems:
Terminology = Schema + Views

TM-95-01

with Rüdiger Klein , Werner Nutt
Constructive Problem Solving: A Model Construction Approach towards Configuration

Edited:

D-94-11

with F. Baader , 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 F. Baader , M. A. Jeusfeld , W. Nutt (Eds.)
Working Notes of the KI'95 Workshop:
KRDB-95 - Reasoning about Structured Objects:
Knowledge Representation Meets Databases

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.