The following pages link to Michael Gruninger (Q1045996):
Displayed 10 items.
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) (Q1045997) (← links)
- (Q1926593) (redirect page) (← links)
- On the algebra of regular sets (Q1926594) (← links)
- Complementation in representable theories of region-based space (Q1949166) (← links)
- The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization (Q2907352) (← links)
- Combining RFID with ontologies to create smart objects (Q3163390) (← links)
- On the Skeleton of Stonian p-Ortholattices (Q3651527) (← links)
- A New Perspective on the Mereotopology of RCC8. (Q4580234) (← links)
- A Representation Theorem for Change through Composition of Activities (Q4972158) (← links)
- Reducible Theories and Amalgamations of Models (Q5875951) (← links)