Skip to content

Martin Buchheit

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

4

Active years

1993–1995

Best venue rank

A*

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
1995KITask Acquisition with a Description Logic Reasoner.Martin Buchheit, Hans-Jrgen Brckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wjcik
1994AAAIRefining the Structure of Terminological Systems: Terminology = Schema + Views.Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf
1994EDBTSubsumption between Queries to Object-Oriented Databases.Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt
1994KICardinality Restrictions on Concepts.Franz Baader, Martin Buchheit, Bernhard Hollunder
1993IJCAIDecidable Reasoning in Terminological Knowledge Representation Systems.Martin Buchheit, Francesco M. Donini, Andrea Schaerf