|  | 1998 | 
|---|
| 16 |            | Martin Buchheit,
Francesco M. Donini,
Werner Nutt,
Andrea Schaerf:
A Refined Architecture for Terminological Systems: Terminology = Schema + Views.
Artif. Intell. 99(2): 209-260 (1998) | 
|  | 1996 | 
|---|
| 15 |            | Franz Baader,
Martin Buchheit,
Manfred A. Jeusfeld,
Werner Nutt:
Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996
CEUR-WS.org 1996 | 
| 14 |            | Franz Baader,
Martin Buchheit,
Bernhard Hollunder:
Cardinality Restrictions on Concepts.
Artif. Intell. 88(1-2): 195-213 (1996) | 
|  | 1995 | 
|---|
| 13 |            | Franz Baader,
Martin Buchheit,
Manfred A. Jeusfeld,
Werner Nutt:
KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995
CEUR-WS.org 1995 | 
| 12 |            | Martin Buchheit,
Hans-Jürgen Bürckert,
Bernhard Hollunder,
Armin Laux,
Werner Nutt,
Marek Wójcik:
Task Acquisition with a Description Logic Reasoner.
KI 1995: 125-136 | 
| 11 |            | Franz Baader,
Martin Buchheit,
Manfred A. Jeusfeld,
Werner Nutt:
Overview: KRDB'95.
KRDB 1995 | 
|  | 1994 | 
|---|
| 10 |            | Franz Baader,
Martin Buchheit,
Manfred A. Jeusfeld,
Werner Nutt:
Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994
CEUR-WS.org 1994 | 
| 9 |            | Martin Buchheit,
Werner Nutt,
Francesco M. Donini,
Andrea Schaerf:
Refining the Structure of Terminological Systems: Terminology = Schema + Views.
AAAI 1994: 199-204 | 
| 8 |            | Martin Buchheit,
Manfred A. Jeusfeld,
Werner Nutt,
Martin Staudt:
Subsumption between Queries to Object-Oriented Databases.
EDBT 1994: 15-22 | 
| 7 |            | Franz Baader,
Martin Buchheit,
Bernhard Hollunder:
Cardinality Restrictions on Concepts.
KI 1994: 51-62 | 
| 6 |            | Franz Baader,
Martin Buchheit,
Manfred A. Jeusfeld,
Werner Nutt:
Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview.
KRDB 1994 | 
| 5 |            | Martin Buchheit,
Francesco M. Donini,
Werner Nutt,
Andrea Schaerf:
Terminological Systems Revisited: Terminology = Schema + Views.
KRDB 1994 | 
| 4 |            | Martin Buchheit,
Manfred A. Jeusfeld,
Werner Nutt,
Martin Staudt:
Subsumption between queries to object-oriented databases.
Inf. Syst. 19(1): 33-54 (1994) | 
|  | 1993 | 
|---|
| 3 |            | Martin Buchheit,
Francesco M. Donini,
Andrea Schaerf:
Decidable Reasoning in Terminological Knowledge Representation Systems.
IJCAI 1993: 704-709 | 
| 2 |            | Martin Buchheit,
Francesco M. Donini,
Andrea Schaerf:
Decidable Reasoning in Terminological Knowledge Representation Systems
CoRR cs.AI/9312101:  (1993) | 
| 1 |            | Martin Buchheit,
Francesco M. Donini,
Andrea Schaerf:
Decidable Reasoning in Terminological Knowledge Representation Systems.
J. Artif. Intell. Res. (JAIR) 1: 109-138 (1993) |