{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:34:45Z","timestamp":1742981685793,"version":"3.40.3"},"publisher-location":"London","reference-count":13,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781848829824"},{"type":"electronic","value":"9781848829831"}],"license":[{"start":{"date-parts":[[2009,10,19]],"date-time":"2009-10-19T00:00:00Z","timestamp":1255910400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,10,19]],"date-time":"2009-10-19T00:00:00Z","timestamp":1255910400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-84882-983-1_7","type":"book-chapter","created":{"date-parts":[[2009,10,27]],"date-time":"2009-10-27T16:58:27Z","timestamp":1256662707000},"page":"93-106","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Deriving Extensional Spatial Composition Tables"],"prefix":"10.1007","author":[{"given":"Baher","family":"El-Geresy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alia I.","family":"Abdelmoty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew J.","family":"Ware","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,10,19]]},"reference":[{"key":"7_CR1","unstructured":"Bennett, B.: Logical representation for automated reasoning about spatial relationships. Ph.D. dissertation, University of Leeds (1998)"},{"key":"7_CR2","unstructured":"Bennett, B., Isli, A., Cohn, A.G.: When does a Composition Table provide a complete and tractable proof procedure for a relational constraint language? In: IJCAI-97 (1997)"},{"key":"7_CR3","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1023\/A:1009712514511","volume":"1","author":"A. Cohn","year":"1997","unstructured":"Cohn, A., Bennett, B.: Qualitative Spatial Representation and Reasoning with the Region Connection Calculus. Geoinformatics 1, 275\u2013316 (1997)","journal-title":"Geoinformatics"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"229","DOI":"10.3233\/FI-1999-39301","volume":"39","author":"I. Duntsch","year":"1999","unstructured":"Duntsch, I., Wang, H., McCloskey, S.: Relational algebras in qualitative spatial reasoning. Fundamental Informaticae 39, 229\u2013248 (1999)","journal-title":"Fundamental Informaticae"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0304-3975(99)00156-5","volume":"255","author":"I. Duntsch","year":"2001","unstructured":"Duntsch, I., Wang, H., McCloskey, S.: A Relation-algebraic approach to the Region Connection Calculus. Theoretical Computer Science 255, 63\u201383 (2001)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"7_CR6","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1142\/S0218213002000939","volume":"11","author":"B. El-Geresy","year":"2002","unstructured":"El-Geresy, B., Abdelmoty, A.: Towards a general theory for modelling qualitative space. International Journal on Artificial Intelligence Tools, IJAIT 11(3), 347\u2013367 (2002)","journal-title":"International Journal on Artificial Intelligence Tools, IJAIT"},{"issue":"2-4","key":"7_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.knosys.2004.03.004","volume":"17","author":"B. El-Geresy","year":"2004","unstructured":"El-Geresy, B., Abdelmoty, A.: Sparqs: a qualitative spatial reasoning engine. Journal of knowledge-based Systems 17(2-4), 89\u2013102 (2004)","journal-title":"Journal of knowledge-based Systems"},{"key":"7_CR8","first-page":"363","volume":"55","author":"S. Li","year":"2003","unstructured":"Li, S., Ying, M.: Extensionality of the RCC8 composition table. Fundamenta Informaticae 55, 363\u2013385 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0004-3702(02)00372-7","volume":"145","author":"S. Li","year":"2003","unstructured":"Li, S., Ying, M.: Region Connection Calculus: Its models and composition table. Artificial Intelligence 145, 121\u2013146 (2003)","journal-title":"Artificial Intelligence"},{"key":"7_CR10","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.: Relational reaosning in the Region Connection Calculus. Artificial Intelligence 160, 1\u201334 (2004)","journal-title":"Artificial Intelligence"},{"key":"7_CR11","unstructured":"Randell, D., Cohn, A., Cui, Z.: A Spatial Logic based on Regions and Connection. In: Proc. of third International Conference on Knowledge Representaiton and Reasoning, pp. 165\u2013176 (1992)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Randell, D., Cohn, A., Cui, Z.: Computing Transitivity Tables: A Challenge for Automated Theorem Provers. In: CADE, Lecture Notes In Computer Science (1992)","DOI":"10.1007\/3-540-55602-8_225"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Renz, J., Ligozat, G.: Weak composition for qualitative spatial and temporal reasoning. In: Proceedings of Principles and Practice of Constraint Programming, CP 2005, pp. 534\u2013548 (2005)","DOI":"10.1007\/11564751_40"}],"container-title":["Research and Development in Intelligent Systems XXVI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84882-983-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T20:18:15Z","timestamp":1676060295000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-84882-983-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,19]]},"ISBN":["9781848829824","9781848829831"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-1-84882-983-1_7","relation":{},"subject":[],"published":{"date-parts":[[2009,10,19]]},"assertion":[{"value":"19 October 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}