Martin Buchheit

Publication Activity (10 Years)

Years Active: 1993-2015
Publications (10 Years): 1

Top Venues

OTM Workshops

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Saed Imran, Martin Buchheit, Bernhard Hollunder, Ulf Schreier
Tool Chains in Agile ALM Environments: A Short Introduction. OTM Workshops (2015)
Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf
A Refined Architecture for Terminological Systems: Terminology = Schema + Views. Artif. Intell. 99 (2) (1998)
Franz Baader, Martin Buchheit, Bernhard Hollunder
Cardinality Restrictions on Concepts. Artif. Intell. 88 (1-2) (1996)
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
Overview: KRDB'95. KRDB (1995)
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
Reasoning about structured objects: Knowledge representation meets databases. Knowl. Eng. Rev. 10 (1) (1995)
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)
Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf
Refining the Structure of Terminological Systems: Terminology = Schema + Views. AAAI (1994)
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview. KRDB (1994)
Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf
Terminological Systems Revisited: Terminology = Schema + Views. KRDB (1994)
Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt
Subsumption between Queries to Object-Oriented Databases. EDBT (1994)
Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt
Subsumption between queries to object-oriented databases. Inf. Syst. 19 (1) (1994)
Franz Baader, Martin Buchheit, Bernhard Hollunder
Cardinality Restrictions on Concepts. KI (1994)
Martin Buchheit, Francesco M. Donini, Andrea Schaerf
Decidable Reasoning in Terminological Knowledge Representation Systems. IJCAI (1993)
Martin Buchheit, Francesco M. Donini, Andrea Schaerf
Decidable Reasoning in Terminological Knowledge Representation Systems. J. Artif. Intell. Res. 1 (1993)
Martin Buchheit, Francesco M. Donini, Andrea Schaerf
Decidable Reasoning in Terminological Knowledge Representation Systems CoRR (1993)

Martin Buchheit.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Buchheit