{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T22:44:03Z","timestamp":1784846643449,"version":"3.55.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2007,6,15]],"date-time":"2007-06-15T00:00:00Z","timestamp":1181865600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2007,8,2]]},"DOI":"10.1007\/s10472-007-9064-3","type":"journal-article","created":{"date-parts":[[2007,6,14]],"date-time":"2007-06-14T12:36:11Z","timestamp":1181824571000},"page":"5-14","source":"Crossref","is-referenced-by-count":41,"title":["Region\u2013based theory of discrete spaces: A proximity approach"],"prefix":"10.1007","volume":"49","author":[{"given":"Ivo","family":"D\u00fcntsch","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dimiter","family":"Vakarelov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,6,15]]},"reference":[{"key":"9064_CR1","unstructured":"\u010cech, E.: Topological Spaces. Wiley, London. Revised edition by Z. Frol\u00edk and M. Kat\u011btov (1966)"},{"key":"9064_CR2","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"22","author":"B.L. Clarke","year":"1981","unstructured":"Clarke, B.L.: A calculus of individuals based on \u2018connection\u2019. Notre Dame J. Form. Log. 22, 204\u2013218 (1981)","journal-title":"Notre Dame J. Form. Log."},{"key":"9064_CR3","doi-asserted-by":"crossref","first-page":"295","DOI":"10.3233\/FI-1997-313405","volume":"31","author":"A. Deneva","year":"1997","unstructured":"Deneva, A., Vakarelov, D.: Modal logics for local and global similarity relations. Fundam. Inform. 31, 295\u2013304 (1997)","journal-title":"Fundam. Inform."},{"key":"9064_CR4","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. Comp. Sci. (B) 347, 498\u2013512 (2005)","journal-title":"Theor. Comp. Sci. (B)"},{"key":"9064_CR5","first-page":"251","volume-title":"Spatial Information Theory, Proceedings of the International Conference COSIT \u201999, Lecture Notes in Computer Science","author":"A. Galton","year":"1999","unstructured":"Galton, A.: The mereotopology of discrete space. In: Freksa, C., Mark, D.M. (eds.) Spatial Information Theory, Proceedings of the International Conference COSIT \u201999, Lecture Notes in Computer Science, pp. 251\u2013266. Springer, Berlin Heidelberg New York (1999)"},{"key":"9064_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198233978.001.0001","volume-title":"Qualitative Spatial Change","author":"A. Galton","year":"2000","unstructured":"Galton, A.: Qualitative Spatial Change. Oxford University Press, Oxford (2000)"},{"key":"9064_CR7","first-page":"3","volume":"44","author":"L. Haddad","year":"1970","unstructured":"Haddad, L.: Sur quelques points de topologie g\u00e9n\u00e9rale. Th\u00e9orie des nasses et des tramails. Ann. Fac. Sci. Clermont-Ferrand 44, 3\u201380 (1970)","journal-title":"Ann. Fac. Sci. Clermont-Ferrand"},{"key":"9064_CR8","unstructured":"Koppelberg, S.: General Theory of Boolean Algebras, vol.\u00a01 of Handbook on Boolean Algebras. North Holland (1989)"},{"key":"9064_CR9","volume-title":"Proximity Spaces","author":"S.A. Naimpally","year":"1970","unstructured":"Naimpally, S.A., Warrack, B.D.: Proximity Spaces. Cambridge University Press, Cambridge (1970)"},{"issue":"6","key":"9064_CR10","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1023\/A:1004361501703","volume":"27","author":"I. Pratt","year":"1998","unstructured":"Pratt, I., Schoop, D.: A complete axiom system for polygonal mereotopology of the real plane. J. Philos. Log. 27(6), 621\u2013658 (1998)","journal-title":"J. Philos. Log."},{"key":"9064_CR11","first-page":"786","volume-title":"Proceedings of the 11th International Conference on Automated Deduction (CADE-11), vol. 607 of LNAI","author":"D.A. Randell","year":"1992","unstructured":"Randell, D.A., Cohn, A.G., Cui, Z.: Computing transitivity tables: A challenge for automated theorem provers. In: Kapur, D. (ed.) Proceedings of the 11th International Conference on Automated Deduction (CADE-11), vol. 607 of LNAI, pp. 786\u2013790. Saratoga Springs, NY, Springer (1992)"},{"issue":"1","key":"9064_CR12","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0304-3975(95)00053-Y","volume":"151","author":"M.B. Smyth","year":"1995","unstructured":"Smyth, M.B.: Semi-metrics, closure spaces and digital topology. Theor. Comp. Sci. 151(1), 257\u2013276 (1995)","journal-title":"Theor. Comp. Sci."},{"key":"9064_CR13","first-page":"37","volume":"40","author":"M. Stone","year":"1936","unstructured":"Stone, M.: The theory of representations for Boolean algebras. Trans. Am. Math. Soc. 40, 37\u2013111 (1936)","journal-title":"Trans. Am. Math. Soc."},{"key":"9064_CR14","first-page":"1","volume":"67","author":"M. Stone","year":"1937","unstructured":"Stone, M.: Topological representations of distributive lattices and Brouwerian logics. \u010casopis P\u011bst. Mat. 67, 1\u201325 (1937)","journal-title":"\u010casopis P\u011bst. Mat."},{"key":"9064_CR15","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF01431527","volume":"206","author":"W. Thron","year":"1973","unstructured":"Thron, W.: Proximity structures and grills. Math. Ann. 206, 35\u201362 (1973)","journal-title":"Math. Ann."},{"key":"9064_CR16","unstructured":"Vakarelov, D.: Proximity modal logics. In: Proceedings of the 11th Amsterdam Colloquium, pp. 301\u2013308 (1997)"},{"key":"9064_CR17","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\u2013based theories of space. J. Appl. Non-Class. Log. 12, 527\u2013529 (2002)","journal-title":"J. Appl. Non-Class. Log."},{"key":"9064_CR18","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"},{"key":"9064_CR19","volume-title":"Process and Reality","author":"A.N. 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-007-9064-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-007-9064-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-007-9064-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T02:43:05Z","timestamp":1707964985000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-007-9064-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,15]]},"references-count":19,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2007,8,2]]}},"alternative-id":["9064"],"URL":"https:\/\/doi.org\/10.1007\/s10472-007-9064-3","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,6,15]]}}}