| 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) |