Martin Buchheit

According to our database, Martin Buchheit authored at least 12 papers between 1993 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Tool Chains in Agile ALM Environments: A Short Introduction.

Saed Imran, Martin Buchheit, Bernhard Hollunder, Ulf Schreier

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Workshops, 2015

1998

A Refined Architecture for Terminological Systems: Terminology = Schema + Views.

Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf

Artif. Intell., 1998

1996

Cardinality Restrictions on Concepts.

Franz Baader, Martin Buchheit, Bernhard Hollunder

Artif. Intell., 1996

1995

Terminological formalisms in knowledge representation and database systems.

Martin Buchheit

PhD thesis, 1995

Reasoning about structured objects: Knowledge representation meets databases.

Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt

Knowl. Eng. Rev., 1995

Overview: KRDB'95.

Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt

Proceedings of the KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1995

Task Acquisition with a Description Logic Reasoner.

Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik

Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

1994

Subsumption between queries to object-oriented databases.

Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt

Inf. Syst., 1994

Terminological Systems Revisited: Terminology = Schema + Views.

Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf

Proceedings of the Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1994

Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview.

Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt

Proceedings of the Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1994

Refining the Structure of Terminological Systems: Terminology = Schema + Views.

Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

Decidable Reasoning in Terminological Knowledge Representation Systems.

Martin Buchheit, Francesco M. Donini, Andrea Schaerf

J. Artif. Intell. Res., 1993