Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Martin
Last name:	Buchheit
DBLP:	97/5315
Rating:	(1)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 13 of 13  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Martin Buchheit, Francesco M. Donini, Andrea Schaerf. Decidable Reasoning in Terminological Knowledge Representation Systems.	J. Artif. Intell. Res. (JAIR) 1993, Volume 1	(1) 1 comment	1993
	Conference paper Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf. A Refined Architecture for Terminological Systems: Terminology = Schema + Views.	Artif. Intell. 1998, Volume 99	(0)	1998
	Conference paper Franz Baader, Martin Buchheit, Bernhard Hollunder. Cardinality Restrictions on Concepts.	Artif. Intell. 1996, Volume 88	(0)	1996
	Conference paper Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik. Task Acquisition with a Description Logic Reasoner.	KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings 1995	(0)	1995
	Conference paper Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt. Overview: KRDB'95.	KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995 1995	(0)	1995
	Conference paper Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf. Refining the Structure of Terminological Systems: Terminology = Schema + Views.	AAAI 1994	(0)	1994
	Conference paper Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt. Subsumption between Queries to Object-Oriented Databases.	Advances in Database Technology - EDBT'94. 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28-31, 1994, Proceedings 1994	(0)	1994
	Conference paper Franz Baader, Martin Buchheit, Bernhard Hollunder. Cardinality Restrictions on Concepts.	KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings 1994	(0)	1994
	Conference paper Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt. Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview.	Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994 1994	(0)	1994
	Conference paper Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf. Terminological Systems Revisited: Terminology = Schema + Views.	Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994 1994	(0)	1994
	Conference paper Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt. Subsumption between queries to object-oriented databases.	Inf. Syst. 1994, Volume 19	(0)	1994
	Conference paper Martin Buchheit, Francesco M. Donini, Andrea Schaerf. Decidable Reasoning in Terminological Knowledge Representation Systems.	IJCAI 1993	(0)	1993
	Conference paper Martin Buchheit, Francesco M. Donini, Andrea Schaerf. Decidable Reasoning in Terminological Knowledge Representation Systems	CoRR 1993, Volume 0	(0)	1993

Show item 1 to 10 of 13  

Your query returned 13 matches in the database.