Buchheit, Martin

3 publications

AAAI 1994 Refining the Structure of Terminological Systems: Terminology = Schema + Views Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf

IJCAI 1993 Decidable Reasoning in Terminological Knowledge Representation Systems Martin Buchheit, Francesco M. Donini, Andrea Schaerf

JAIR 1993 Decidable Reasoning in Terminological Knowledge Representation Systems Martin Buchheit, Francesco M. Donini, Andrea Schaerf