{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T01:40:01Z","timestamp":1748828401968,"version":"3.41.0"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2016,3,30]],"date-time":"2016-03-30T00:00:00Z","timestamp":1459296000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Sofia University Scientific Fund"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s10472-016-9499-5","type":"journal-article","created":{"date-parts":[[2016,3,30]],"date-time":"2016-03-30T05:50:43Z","timestamp":1459317043000},"page":"3-41","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Distributive mereotopology: extended distributive contact lattices"],"prefix":"10.1007","volume":"77","author":[{"given":"Tatyana","family":"Ivanova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimiter","family":"Vakarelov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,30]]},"reference":[{"key":"9499_CR1","doi-asserted-by":"crossref","unstructured":"Aiello, M., Pratt-Hartmann, I., Benthem, J. (eds.): Handbook of spatial logics. Springer (2007)","DOI":"10.1007\/978-1-4020-5587-4"},{"key":"9499_CR2","volume-title":"Distributive Lattices","author":"R Balbes","year":"1974","unstructured":"Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)"},{"issue":"1-3","key":"9499_CR3","first-page":"29","volume":"81","author":"P Balbiani","year":"2007","unstructured":"Balbiani, P., Tinchev, T., Vakarelov, D.: Modal Logics for Region-based Theory of Space. Special Issue Topics in Logic, Philosophy and Foundation of Mathematics and Computer Science in Recognition of Professor Andrzej Grzegorczyk. Fundamenta Informaticae 81(1-3), 29\u201382 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"9499_CR4","doi-asserted-by":"crossref","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 (2007)","DOI":"10.1007\/978-1-4020-5587-4_3"},{"key":"9499_CR5","doi-asserted-by":"crossref","unstructured":"Cohn, A., Renz, J.: Qualitative spatial representation and reasoning. In: van Hermelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, pp. 551\u2013596. Elsevier (2008)","DOI":"10.1016\/S1574-6526(07)03013-1"},{"issue":"2-3","key":"9499_CR6","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\u2013based theory of space: A proximity approach I. Fundamenta Informaticae 74(2-3), 209\u2013249 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"9499_CR7","doi-asserted-by":"crossref","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, 123-129, Metz, France, 2003. Journal version in: Annals of Mathematics and Artificial Intelligence, vol. 49, pp. 5\u201314 (2007)","DOI":"10.1007\/s10472-007-9064-3"},{"key":"9499_CR8","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/11828563_9","volume":"4136","author":"I D\u00fcntsch","year":"2006","unstructured":"D\u00fcntsch, I., Vakarelov, D., MacCaull, W., Winter, M.: Topological representation of contact lattices. Lect. Notes Comput. Sci. 4136, 135\u2013147 (2006)","journal-title":"Lect. Notes Comput. Sci."},{"key":"9499_CR9","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1016\/j.jlap.2007.10.002","volume":"76","author":"I D\u00fcntsch","year":"2008","unstructured":"D\u00fcntsch, I., MacCaull, W., Vakarelov, D., Winter, M.: Distributive contact lattices: Topological representation. J. Logic Algebraic Program. 76, 18\u201334 (2008)","journal-title":"J. Logic Algebraic Program."},{"key":"9499_CR10","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1016\/j.tcs.2005.06.030","volume":"347","author":"I D\u00fcntsch","year":"2005","unstructured":"D\u00fcntsch, I., Winter, M.: A representation theorem for Boolean contact algebras. Theor. Comput. Sci. (B) 347, 498\u2013512 (2005)","journal-title":"Theor. Comput. Sci. (B)"},{"key":"9499_CR11","first-page":"161","volume":"5","author":"M Egenhofer","year":"1991","unstructured":"Egenhofer, M., Franzosa, R.: Point-set topological spatial relations. Int. J. Geogr. Inform. Syst. 5, 161\u2013174 (1991)","journal-title":"Int. J. Geogr. Inform. Syst."},{"key":"9499_CR12","unstructured":"Engelking, R.: General topology Polish Scientiphic Publishers (1977)"},{"key":"9499_CR13","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s10992-010-9130-x","volume":"39","author":"Forrest Mereotopology without Mereology","year":"2010","unstructured":"Forrest Mereotopology without Mereology. J. Philos. Logic 39, 229\u2013254 (2010)","journal-title":"J. Philos. Logic"},{"key":"9499_CR14","doi-asserted-by":"crossref","unstructured":"Goldblatt, R., Grice, M.: Mereocompactness and duality for mereotopological spaces Preprint (2015)","DOI":"10.1007\/978-3-319-29300-4_15"},{"key":"9499_CR15","doi-asserted-by":"crossref","unstructured":"Hahmann, T., Gruninger, 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 (2012)","DOI":"10.4018\/978-1-61692-868-1.ch001"},{"issue":"2","key":"9499_CR16","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1215\/00294527-1731344","volume":"54","author":"T Hahmann","year":"2013","unstructured":"Hahmann, T., Gruninger, M.: Complementation in representable theories of region-based space. Notre Dame Journal of Formal Logic 54(2), 177\u2013214 (2013)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9499_CR17","doi-asserted-by":"crossref","first-page":"1424","DOI":"10.1016\/j.artint.2009.07.001","volume":"173","author":"T Hahmann","year":"2009","unstructured":"Hahmann, T., Winter, M., Gruninger, M.: Stonian p-Ortholattices: A new approach to the mereotopology RT0. Artif. Intell. 173, 1424\u20131440 (2009)","journal-title":"Artif. Intell."},{"key":"9499_CR18","unstructured":"Qualitative Spatio-Temporal Representation and Reasoning. In: Hazarika, S.M. (ed.) Trends and future directions, IGI Global; 1st ed (2012)"},{"key":"9499_CR19","unstructured":"Nenov, Y., Vakarelov, D.: Modal logics for mereotopological relations, Advances in Modal Logic 7, 249\u2013272 (2008)"},{"key":"9499_CR20","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Nebel, B., Swartout, W., Rich, C. (eds.) Proceedings of the 3rd International Conference Knowledge Representation and Reasoning, Morgan Kaufmann, pp. 165\u2013176, Los Allos (1992)"},{"key":"9499_CR21","doi-asserted-by":"crossref","first-page":"820","DOI":"10.1007\/BF00968394","volume":"13","author":"E Shchepin","year":"1972","unstructured":"Shchepin, E.: Real-valued functions and spaces close to normal. Sib. Math. J. 13, 820\u2013830 (1972)","journal-title":"Sib. Math. J."},{"key":"9499_CR22","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":"9499_CR23","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0004-3702(00)00045-X","volume":"122","author":"J Stell","year":"2000","unstructured":"Stell, J.: Boolean connection algebras: A new approach to the Region Connection Calculus. Artif. Intell. 122, 111\u2013136 (2000)","journal-title":"Artif. Intell."},{"key":"9499_CR24","first-page":"1","volume":"67","author":"M Stone","year":"1937","unstructured":"Stone, M.: Topological representations of distributive lattices and Brouwerian logics. Casopis Pest. Mat. 67, 1\u201325 (1937)","journal-title":"Casopis Pest. Mat."},{"key":"9499_CR25","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":"9499_CR26","doi-asserted-by":"crossref","unstructured":"Vakarelov, D.: Region-based theory of space: Algebras of regions, Representation theory and logics. In: Dov, G. et al. (eds.) Mathematical Problems from Applied Logics. New Logics for the XXIst Century. II, pp. 267\u2013348. Springer (2007)","DOI":"10.1007\/978-0-387-69245-6_6"},{"key":"9499_CR27","doi-asserted-by":"crossref","unstructured":"Vakarelov, D., D\u00fcntsch, I., Bennett, B.: A note on proximity spaces and connection based mereology. In: Welty, C., Smith, B. (eds.) Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS\u201901), pp. 139\u2013150. ACM (2001)","DOI":"10.1145\/505168.505182"},{"issue":"No3-4","key":"9499_CR28","doi-asserted-by":"crossref","first-page":"527","DOI":"10.3166\/jancl.12.527-559","volume":"12","author":"D Vakarelov","year":"2002","unstructured":"Vakarelov, D., Dimov, G., D\u00fcntsch, I., Bennett, B.: A proximity approach to some region based theory of space. Journal of applied non-classical logics 12(No3-4), 527\u2013559 (2002)","journal-title":"Journal of applied non-classical logics"},{"key":"9499_CR29","unstructured":"de Vries, H.: Compact spaces and compactifications Van Gorcum (1962)"},{"issue":"1","key":"9499_CR30","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s10472-012-9301-2","volume":"65","author":"M Winter","year":"2012","unstructured":"Winter, M., Hahmann, T., Gruninger, M.: On the algebra of regular sets. Properties of representable Stonian p-ortholattices. Ann. Math. Artif. Intell. 65(1), 25\u201360 (2012)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9499_CR31","doi-asserted-by":"crossref","unstructured":"Winter, M., Hahmann, T., Gruninger, M.: On the Skeleton of Stonian p-Ortholattices. Proc. of the 11th Int. Conference on Relational Methods in Computer Science (RelMiCS\/AKA-09) LNCS 5827, pp. 351\u2013365. Springer (2009)","DOI":"10.1007\/978-3-642-04639-1_24"},{"key":"9499_CR32","volume-title":"Process and Reality","author":"AN Whitehead","year":"1929","unstructured":"Whitehead, A.N.: Process and Reality. MacMillan, New York (1929)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-016-9499-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-016-9499-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-016-9499-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T01:16:41Z","timestamp":1748827001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-016-9499-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,30]]},"references-count":32,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["9499"],"URL":"https:\/\/doi.org\/10.1007\/s10472-016-9499-5","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2016,3,30]]}}}