{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:55:33Z","timestamp":1754488533869},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616306"},{"type":"electronic","value":"9783540706434"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61630-6_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:08:52Z","timestamp":1330276132000},"page":"337-353","source":"Crossref","is-referenced-by-count":7,"title":["Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions"],"prefix":"10.1007","author":[{"given":"Brandon","family":"Bennett","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"24_CR1","unstructured":"Allen, J. F.: 1981, An interval-based representation of temporal knowledge, Proceedings 7th IJCAI, pp. 221\u2013226."},{"key":"24_CR2","unstructured":"Asher, N. and Vieu, L.: 1995, Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal."},{"key":"24_CR3","volume-title":"Spatial reasoning with propositional logics","author":"B. Bennett","year":"1994","unstructured":"Bennett, B.: 1994, Spatial reasoning with propositional logics, in J. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmann, San Francisco, CA."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Biacino, L. and Gerla, G.: 1991, Connection structures, Notre Dame Journal of Formal Logic.","DOI":"10.1305\/ndjfl\/1093635748"},{"issue":"3","key":"24_CR5","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","volume":"23","author":"B. L. Clarke","year":"1981","unstructured":"Clarke, B. L.: 1981, A calculus of individuals based on \u2018connection', Notre Dame Journal of Formal Logic 23(3), 204\u2013218.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"24_CR6","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1305\/ndjfl\/1093870761","volume":"26","author":"B. L. Clarke","year":"1985","unstructured":"Clarke, B. L.: 1985, Individuals and points, Notre Dame Journal of Formal Logic 26(1), 61\u201375.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF00243207","volume":"3","author":"A. G. Cohn","year":"1987","unstructured":"Cohn, A. G.: 1987, A more expressive formulation of many sorted logic, Journal of Automated Reasoning 3, 113\u2013200.","journal-title":"Journal of Automated Reasoning"},{"key":"24_CR8","doi-asserted-by":"crossref","first-page":"449","DOI":"10.2307\/2939504","volume":"19","author":"T. Laguna de","year":"1922","unstructured":"de Laguna, T.: 1922, Point, line and surface as sets of solids, The Journal of Philosophy 19, 449\u2013461.","journal-title":"The Journal of Philosophy"},{"key":"24_CR9","unstructured":"Gotts, N. M.: 1994a, Defining a \u2018doughnut\u2019 made difficult, in C. Eschenbach, C. Habel and B. Smith (eds), Topological Foundations of Cognitive Science, Vol. 37 of Reports of the Doctoral programme in Cognitive Science, University of Hamburg."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Gotts, N. M.: 1994b, How far can we \u2018C'? defining a \u2018doughnut\u2019 using connection alone, in J. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmann.","DOI":"10.1016\/B978-1-4832-1452-8.50119-6"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Kuratowski, K.: 1972, Introduction to Set Theory and Topology, 2nd edn, Pergamon Press.","DOI":"10.1016\/B978-0-08-016160-0.50014-2"},{"key":"24_CR12","series-title":"Kestrel Institute report KES.U.87.13","volume-title":"PhD thesis","author":"P. Ladkin","year":"1987","unstructured":"Ladkin, P.: 1987, The Logic of Time Representation, PhD thesis, University of California, Berkeley. Kestrel Institute report KES.U.87.13."},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"45","DOI":"10.2307\/2266169","volume":"5","author":"H. S. Leonard","year":"1940","unstructured":"Leonard, H. S. and Goodman, N.: 1940, The calculus of individuals and its uses, Journal of Symbolic Logic 5, 45\u201355.","journal-title":"Journal of Symbolic Logic"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Nebel, B.: 1995, Computational properties of qualitative spatial reasoning: First results, Procedings of the 19th G\u0117rman AI Conference.","DOI":"10.1007\/3-540-60343-3_40"},{"key":"24_CR15","first-page":"165","volume-title":"A spatial logic based on regions and connection","author":"D. A. Randell","year":"1992","unstructured":"Randell, D. A., Cui, Z. and Cohn, A. G.: 1992, A spatial logic based on regions and connection, Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, pp. 165\u2013176."},{"key":"24_CR16","first-page":"55","volume-title":"Modelling topological and metrical properties of physical processes","author":"D. Randell","year":"1989","unstructured":"Randell, D. and Cohn, A.: 1989, Modelling topological and metrical properties of physical processes, in R. Brachman, H. Levesque and R. Reiter (eds), Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos, pp. 55\u201366."},{"key":"24_CR17","first-page":"16","volume-title":"The Axiomatic Method (with special reference to geometry and physics)","author":"D. Scott","year":"1959","unstructured":"Scott, D.: 1959, Dimension in elementary euclidean geometry, in L. Brouwer, E. Beth and A. Heyting (eds), The Axiomatic Method (with special reference to geometry and physics), North-Holland, Amsterdam, pp. 16\u201329."},{"key":"24_CR18","unstructured":"Tarski, A.: 1956, Foundations of the geometry of solids, Logic, Semantics, Metamathematics, Oxford Clarendon Press, chapter 2. trans. J.H. Woodger."},{"key":"24_CR19","first-page":"16","volume-title":"The Axiomatic Method (with special reference to geometry and physics)","author":"A. Tarski","year":"1959","unstructured":"Tarski, A.: 1959, What is elementary geometry?, in L. Brouwer, E. Beth and A. Heyting (eds), The Axiomatic Method (with special reference to geometry and physics), North-Holland, Amsterdam, pp. 16\u201329."},{"key":"24_CR20","volume-title":"Process and Reality","author":"A. N. Whitehead","year":"1929","unstructured":"Whitehead, A. N.: 1929, Process and Reality, The MacMillan Company, New York."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61630-6_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:08:56Z","timestamp":1605629336000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61630-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616306","9783540706434"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-61630-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}