{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T21:40:10Z","timestamp":1750369210016,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319608396"},{"type":"electronic","value":"9783319608402"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-60840-2_10","type":"book-chapter","created":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T01:13:39Z","timestamp":1498007619000},"page":"138-157","source":"Crossref","is-referenced-by-count":2,"title":["Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Dimiter","family":"Vakarelov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,22]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-1-4020-5587-4_3","volume-title":"Handbook of Spatial Logics","author":"B Bennett","year":"2007","unstructured":"Bennett, B., D\u00fcntsch, I.: Axioms, algebras and topology. In: Aiello, M., Pratt, I., van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 99\u2013160. Springer, Dordrecht (2007). doi: 10.1007\/978-1-4020-5587-4_3"},{"key":"10_CR2","volume-title":"Handbook of Knowledge Representation","author":"A Cohn","year":"2008","unstructured":"Cohn, A., Renz, J.: Qualitative spatial representation and reasoning. In: van Hermelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier, Amsterdam (2008)"},{"issue":"2\u20133","key":"10_CR3","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/FUN-2006-742-303","volume":"74","author":"G Dimov","year":"2006","unstructured":"Dimov, G., Vakarelov, D.: Contact algebras and region-based theory of space: a proximity approach I. Fundamenta Informaticae 74(2\u20133), 209\u2013249 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR4","unstructured":"D\u00fcntsch, I., Vakarelov, D.: Region-based theory of discrette spaces: a proximity approach. In: Nadif, M., Napoli, A., SanJuan, E., Sigayret, A. (eds.) Proceedings of Fourth International Conference Journ\u00e9es de l\u2019informatique Messine, Metz, France, pp. 123\u2013129 (2003). Journal version in: Ann. Math. Artif. Intell. 49(1\u20134), 5\u201314 (2007)"},{"key":"10_CR5","volume-title":"General Topology","author":"R Engelking","year":"1977","unstructured":"Engelking, R.: General Topology. PWN, Warsaw (1977)"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/978-1-61692-868-1.ch001","volume-title":"Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions","author":"T Hahmann","year":"2012","unstructured":"Hahmann, T., Gr\u00f6uninger, M.: Region-based theories of space: mereotopology and beyond. In: Hazarika, S. (ed.) Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, pp. 1\u201362. IGI Publishing, Hershey (2012)"},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"449","DOI":"10.2307\/2939504","volume":"19","author":"T Laguna de","year":"1922","unstructured":"de Laguna, T.: Point, line and surface as sets of solids. J. Philos. 19, 449\u2013461 (1922)","journal-title":"J. Philos."},{"key":"10_CR8","first-page":"1","volume":"141","author":"MO Rabin","year":"1969","unstructured":"Rabin, M.O.: Decidability of second-order theories and automata on infinite trees. Trans. AMS 141, 1\u201335 (1969)","journal-title":"Trans. AMS"},{"key":"10_CR9","volume-title":"Boolean Algebras","author":"R Sikorski","year":"1964","unstructured":"Sikorski, R.: Boolean Algebras. Springer, Berlin (1964)"},{"key":"10_CR10","volume-title":"PARTS. A Study in Ontology","author":"P Simons","year":"1987","unstructured":"Simons, P.: PARTS. A Study in Ontology. Clarendon Press, Oxford (1987)"},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF01431527","volume":"206","author":"WJ Thron","year":"1973","unstructured":"Thron, W.J.: Proximity structures and grills. Math. Ann. 206, 35\u201362 (1973)","journal-title":"Math. Ann."},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-0-387-69245-6_6","volume-title":"Mathematical Problems from Applied Logics II. New Logics for the XXIst Century","author":"D Vakarelov","year":"2007","unstructured":"Vakarelov, D.: Region-based theory of space: algebras of regions, representation theory and logics. In: Gabbay, D., et al. (eds.) Mathematical Problems from Applied Logics II. New Logics for the XXIst Century, pp. 267\u2013348. Springer, New York (2007). doi: 10.1007\/978-0-387-69245-6_6"},{"issue":"1\u20134","key":"10_CR13","doi-asserted-by":"crossref","first-page":"159","DOI":"10.3233\/FI-2010-268","volume":"100","author":"D Vakarelov","year":"2010","unstructured":"Vakarelov, D., Mereotopology, D.: Dynamic mereotopology: a point-free theory of changing regions. I. Stable and unstable mereotopological relations. Fundamenta Informaticae 100(1\u20134), 159\u2013180 (2010)","journal-title":"Fundamenta Informaticae"},{"key":"10_CR14","first-page":"538","volume-title":"Advances in Modal Logic","author":"D Vakarelov","year":"2012","unstructured":"Vakarelov, D.: Dynamic mereotopology II: axiomatizing some Whiteheadian type space-time logics. In: Bolander, T., Bra\u00fcner, T., Ghilardi, S., Moss, L. (eds.) Advances in Modal Logic, vol. 9, pp. 538\u2013558. King\u2019s College, London (2012)"},{"issue":"3","key":"10_CR15","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s10469-014-9283-8","volume":"53","author":"D Vakarelov","year":"2014","unstructured":"Vakarelov, D.: Dynamic mereotopology III. Whiteheadean type of integrated point-free theories of space and time. Part I. Algebra Logic 53(3), 191\u2013205 (2014). Part II. Algebra Logic 55(1), 9\u2013197 (2016). Part III. Algebra Logic 55(3), 181\u2013197 (2016)","journal-title":"Part I. Algebra Logic"},{"key":"10_CR16","unstructured":"Vakarelov, D.: Mereotopologies of predicates of actual existence and actual contact, submitted"},{"key":"10_CR17","volume-title":"The Organization of Thought","author":"AN Whitehead","year":"1917","unstructured":"Whitehead, A.N.: The Organization of Thought. William and Norgate, London (1917)"},{"key":"10_CR18","volume-title":"Science and the Modern World","author":"AN Whitehead","year":"1925","unstructured":"Whitehead, A.N.: Science and the Modern World. The MacMillan Company, New York (1925)"},{"key":"10_CR19","volume-title":"Process and Reality","author":"AN Whitehead","year":"1929","unstructured":"Whitehead, A.N.: Process and Reality. MacMillan, New York (1929)"}],"container-title":["Lecture Notes in Computer Science","Rough Sets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60840-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T21:05:42Z","timestamp":1750367142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60840-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319608396","9783319608402"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60840-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}