Michael Gruninger

MaRDI QIDQ1045996zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reducible Theories and Amalgamations of Models ACM Transactions on Computational Logic	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 ACM Transactions on Computational Logic	2019-11-22	Paper
A new perspective on the mereotopology of RCC8	2018-08-13	Paper
Complementation in representable theories of region-based space Notre Dame Journal of Formal Logic	2013-04-25	Paper
On the algebra of regular sets Annals of Mathematics and Artificial Intelligence	2012-12-28	Paper
The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization Lecture Notes in Computer Science	2012-09-07	Paper
Combining RFID with ontologies to create smart objects International Journal of Production Research	2010-10-25	Paper
Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) Artificial Intelligence	2009-12-21	Paper
On the skeleton of Stonian p-ortholattices Relations and Kleene Algebra in Computer Science	2009-12-11	Paper

Research outcomes over time

This page was built for person: Michael Gruninger