Martin Buchheit

19 papers A* 2B 1Misc 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2015 — conf
Tool Chains in Agile ALM Environments: A Short Introduction.
OTM Workshops
Saed Imran, Martin Buchheit, Bernhard Hollunder, Ulf Schreier
1998 J jnl
A Refined Architecture for Terminological Systems: Terminology = Schema + Views.
Artif. Intell.
Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf
1996 J jnl
Cardinality Restrictions on Concepts.
Artif. Intell.
Franz Baader, Martin Buchheit, Bernhard Hollunder
1996 — ed.
KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1996 — ed.
Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1995 — conf
Overview: KRDB'95.
KRDB
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1995 — ed.
Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1995 J jnl
Reasoning about structured objects: Knowledge representation meets databases.
Knowl. Eng. Rev.
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1995 Misc conf
Task Acquisition with a Description Logic Reasoner.
KI
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
1995 — —
Terminological formalisms in knowledge representation and database systems.
Martin Buchheit
1994 Misc conf
Cardinality Restrictions on Concepts.
KI
Franz Baader, Martin Buchheit, Bernhard Hollunder
1994 — conf
Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview.
KRDB
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1994 A* conf
Refining the Structure of Terminological Systems: Terminology = Schema + Views.
AAAI
Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf
1994 B conf
Subsumption between Queries to Object-Oriented Databases.
EDBT
Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt
1994 J jnl
Subsumption between queries to object-oriented databases.
Inf. Syst.
Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt
1994 — conf
Terminological Systems Revisited: Terminology = Schema + Views.
KRDB
Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf
1993 J jnl
Decidable Reasoning in Terminological Knowledge Representation Systems
CoRR
Martin Buchheit, Francesco M. Donini, Andrea Schaerf
1993 A* conf
Decidable Reasoning in Terminological Knowledge Representation Systems.
IJCAI
Martin Buchheit, Francesco M. Donini, Andrea Schaerf
1993 J jnl
Decidable Reasoning in Terminological Knowledge Representation Systems.
J. Artif. Intell. Res.
Martin Buchheit, Francesco M. Donini, Andrea Schaerf