{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T04:13:51Z","timestamp":1744172031316,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642333132"},{"type":"electronic","value":"9783642333149"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33314-9_23","type":"book-chapter","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T04:05:18Z","timestamp":1347422718000},"page":"342-356","source":"Crossref","is-referenced-by-count":1,"title":["Extension Properties of Boolean Contact Algebras"],"prefix":"10.1007","author":[{"given":"Ivo","family":"D\u00fcntsch","sequence":"first","affiliation":[]},{"given":"Sanjiang","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Handbook of Spatial Logics","year":"2007","key":"23_CR1","unstructured":"Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.): Handbook of Spatial Logics. Springer, Dordrecht (2007)"},{"key":"23_CR2","unstructured":"Bennett, B., D\u00fcntsch, I.: Algebras, axioms, and topology. In: Aiello, et al. [1], pp. 99\u2013159"},{"key":"23_CR3","unstructured":"Bodirsky, M., W\u00f6lfl, S.: RCC8 is polynomial on networks of bounded treewidth. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp. 756\u2013761 (2011)"},{"key":"23_CR4","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 \u2013 I, II. Fundamenta Informaticae\u00a074, 209\u2013282 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"D\u00fcntsch, I., Li, S.: On the homogeneous countable Boolean contact algebra (2012) (preprint)","DOI":"10.12775\/LLP.2013.012"},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10472-007-9064-3","volume":"49","author":"I. D\u00fcntsch","year":"2007","unstructured":"D\u00fcntsch, I., Vakarelov, D.: Region\u2013based theory of discrete spaces: A proximity approach. Annals of Mathematics and Artificial Intelligence\u00a049, 5\u201314 (2007)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-540-78913-0_9","volume-title":"Relations and Kleene Algebra in Computer Science","author":"I. D\u00fcntsch","year":"2008","unstructured":"D\u00fcntsch, I., Winter, M.: The Lattice of Contact Relations on a Boolean Algebra. In: Berghammer, R., M\u00f6ller, B., Struth, G. (eds.) RelMiCS\/AKA 2008. LNCS, vol.\u00a04988, pp. 99\u2013109. Springer, Heidelberg (2008)"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/3-540-48384-5_17","volume-title":"Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science","author":"A. Galton","year":"1999","unstructured":"Galton, A.: The Mereotopology of Discrete Space. In: Freksa, C., Mark, D.M. (eds.) COSIT 1999. LNCS, vol.\u00a01661, pp. 251\u2013266. Springer, Heidelberg (1999)"},{"key":"23_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574","volume-title":"Model theory.","author":"W. Hodges","year":"1993","unstructured":"Hodges, W.: Model theory. Cambridge University Press, Cambridge (1993)"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1090\/conm\/033\/767117","volume":"33","author":"B. J\u00f3nsson","year":"1984","unstructured":"J\u00f3nsson, B.: Maximal algebras of binary relations. Contemporary Mathematics\u00a033, 299\u2013307 (1984)","journal-title":"Contemporary Mathematics"},{"key":"23_CR11","unstructured":"Koppelberg, S.: General Theory of Boolean Algebras. In: Handbook of Boolean Algebras, vol.\u00a01. North\u2013Holland (1989)"},{"issue":"1-2","key":"23_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2004.05.012","volume":"160","author":"S. Li","year":"2004","unstructured":"Li, S., Ying, M.: Generalized Region Connection Calculus. Artificial Intelligence\u00a0160(1-2), 1\u201334 (2004)","journal-title":"Artificial Intelligence"},{"key":"23_CR13","unstructured":"Li, Y., Li, S., Ying, M.: Relational reasoning in the region connection calculus (2003), http:\/\/arxiv.org\/abs\/cs.AI\/0505041"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Madar\u00e1sz, J., Sayed Ahmed, T.: Amalgamation, interpolation and epimorphisms in alegraic logic. In: Andr\u00e9ka, H., Ferenczi, M., N\u00e9meti, I. (eds.) Cylindric\u2013like Algebras and Algebraic Logic, Bolay Society Mathematical Studies, vol.\u00a022, pp. 65\u201377. North\u2013Holland (2012)","DOI":"10.1007\/978-3-642-35025-2_5"},{"key":"23_CR15","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 on Knowledge Representation and Reasoning, pp. 165\u2013176. Morgan Kaufmann (1992)"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Renz, J., Nebel, B.: Qualitative spatial reasoning using constraint calculi. In: Aiello, et al. [1], pp. 161\u2013215","DOI":"10.1007\/978-1-4020-5587-4_4"},{"issue":"1","key":"23_CR17","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/BF01162967","volume":"72","author":"G. Sabidussi","year":"1959","unstructured":"Sabidussi, G.: Graph multiplication. Mathematische Zeitschrift\u00a072(1), 446\u2013457 (1959)","journal-title":"Mathematische Zeitschrift"},{"key":"23_CR18","doi-asserted-by":"publisher","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. Artificial Intelligence\u00a0122, 111\u2013136 (2000)","journal-title":"Artificial Intelligence"},{"key":"23_CR19","doi-asserted-by":"publisher","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-Classical Logics\u00a012, 527\u2013529 (2002)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"23_CR20","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1090\/S0002-9939-1962-0133816-6","volume":"13","author":"P.M. Weichsel","year":"1962","unstructured":"Weichsel, P.M.: The Kronecker Product of Graphs. Proceedings of the American Mathematical Society\u00a013, 47\u201352 (1962)","journal-title":"Proceedings of the American Mathematical Society"},{"key":"23_CR21","unstructured":"Wolter, F., Zakharyaschev, M.: Spatial reasoning in RCC-8 with Boolean region terms. In: Horn, W. (ed.) ECAI, pp. 244\u2013250. IOS Press (2000)"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33314-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T08:58:00Z","timestamp":1744102680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33314-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333132","9783642333149"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33314-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}