Michael Gruninger

Available identifiers

Publication	Date of Publication	Type
Reducible Theories and Amalgamations of Models	2023-02-07	Paper
The time ontology of Allen's interval algebra	2023-02-03	Paper
A Representation Theorem for Change through Composition of Activities	2019-11-22	Paper
A new perspective on the mereotopology of RCC8	2018-08-13	Paper
Complementation in representable theories of region-based space	2013-04-25	Paper
On the algebra of regular sets	2012-12-28	Paper
The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization	2012-09-07	Paper
Combining RFID with ontologies to create smart objects	2010-10-25	Paper
Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)	2009-12-21	Paper
On the skeleton of Stonian p-ortholattices	2009-12-11	Paper

This page was built for person: Michael Gruninger