Searching for authors named "Martin Buchheit" – sorted by Relevance.
-
Decidable reasoning in terminological knowledge representation systems
- Decidable Reasoning in Terminological Knowledge Representation Systems* Martin Buchheit+ Deutsches
- Cited by 158 (11 self) – Add To MetaCart
-
Subsumption between Queries to Object-Oriented Databases
- Subsumption between Queries to Object-Oriented Databases Martin Buchheit y Manfred A. Jeusfeld
- Cited by 65 (9 self) – Add To MetaCart
-
Research Report
- -48 Cardinality Restrictions on Concepts Franz Baader Martin Buchheit Bernhard Hollunder December 1993 Deutsches
- Add To MetaCart
-
A Resolution Priciple for Clauses with Constraints
- Seiten D-92-25 Martin Buchheit: Klassische Kommunikations- und Koordinationsmodelle 31 Seiten D-92
- Add To MetaCart
-
Implementing and Testing Expressive Description Logics: a Preliminary Report
- . Edited by John Mylopoulos. [Baader et al., 1994b] Franz Baader, Martin Buchheit, and Bernhard Hollunder
- Add To MetaCart
-
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
- Seiten D-92-25 Martin Buchheit: Klassische Kommunikations- und Koordinationsmodelle 31 Seiten D-92
- Cited by 107 (21 self) – Add To MetaCart

