Region-based Theories of Space: Mereotopology and Beyond (PhD Qualifying Exam Report, 2009)

Cached

Download Links

by Torsten Hahmann , Michael Grüninger
Citations:3 - 1 self

Documents Related by Co-Citation

5 Stonian p-ortholattices: A new approach to the mereotopology RT0 – Torsten Hahmann, Michael Winter, Michael Gruninger - 2009
43 Boolean Connection Algebras: A New Approach to the Region-Connection Calculus – J. G. Stell - 1999
103 L.: Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology – Nicholas Asher
4 Axioms for Lattices and Boolean Algebras, World Scientific – R Padmanabhan, S Rudeanu - 2008
542 Model Theory – Wilfrid Hodges - 2000
4 On the Skeleton of Stonian p-Ortholattices – Michael Winter, Torsten Hahmann, Michael Gruninger
1 Three identities for ortholattices. Notre Dame – L Beran - 1976
3 Varzi AC. Parts and Places – R Casati - 1999
35 A representation Theorem for Boolean Contact Algebras – Ivo Düntsch, Michael Winter - 2003
9 Mereotopological Connection – Anthony G. Cohn, Achille C. Varzi - 2003
90 Dwinger: Distributive Lattices – R Balbes, Ph - 1974
154 The theory of representation for boolean algebras – M Stone - 1936
74 Lectures on Boolean Algebras – P Halmos - 1963
49 Representing And Reasoning With Qualitative Spatial Relations About Regions – Anthony G. Cohn, Brandon Bennett, John Gooday, Nicholas Mark Gotts
1 Definability and – M Gruninger - 2009
2 A Mathematical Introduction to Logic,Academic – H Enderton - 1972
12 Lattices and Ordered Algebraic Structures – T S Blyth - 2005
34 Relation algebras in qualitative spatial reasoning – Ivo Düntsch, Hui Wang, Stephen Mccloskey - 1999
4 Towards an ontology of agency and action: From STIT to OntoSTIT+ – Nicolas Troquard, Robert Trypuz, Laure Vieu