{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:34Z","timestamp":1725471274848},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540463634"},{"type":"electronic","value":"9783540463658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11891451_32","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:22:32Z","timestamp":1159870952000},"page":"358-365","source":"Crossref","is-referenced-by-count":1,"title":["A Formal Approach to Qualitative Reasoning on Topological Properties of Networks"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Rodr\u00edguez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Gutierrez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A Spatial logic based on regions and connection. In: Proc. 3rd. Int. Conf. on Knowledge Representation and Reasoning, pp. 165\u2013176. Morgan Kaufmann, San Francisco"},{"key":"32_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1009712514511","volume":"1","author":"A.G. Cohn","year":"1997","unstructured":"Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: Qualitative Spatial Representation and Reasoning with the Region Connection Calculus. Geoinformatica\u00a01, 1\u201344 (1997)","journal-title":"Geoinformatica"},{"key":"32_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. Kleer de","year":"1984","unstructured":"de Kleer, J., Brown, J.: A Qualitative Physics Based on Confluences. Artificial Intelligence\u00a024, 7\u201383 (1984)","journal-title":"Artificial Intelligence"},{"key":"32_CR4","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/S0169-023X(96)00015-8","volume":"20","author":"B. Smith","year":"1996","unstructured":"Smith, B.: Mereotopology - A Theory of parts and boundaries. Data and Knowledge Engineering\u00a020, 287\u2013303 (1996)","journal-title":"Data and Knowledge Engineering"},{"key":"32_CR5","unstructured":"Sharma, J., Fleweling, D., Egenhofer, M.: A Qualitative Spatial Reasoner. In: International Symposum on Spatial Data Handing, pp. 665\u2013681 (September 1994)"},{"issue":"3","key":"32_CR6","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A.: On The Calculus of Relations. Journal of Symbolic Logic\u00a06(3), 73\u201389 (1941)","journal-title":"Journal of Symbolic Logic"},{"key":"32_CR7","volume-title":"Topology via Logic","author":"S. Vickers","year":"1989","unstructured":"Vickers, S.: Topology via Logic. Cambridge University Press, Cambridge (1989)"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/3-540-51295-0_148","volume-title":"A Formal Definition of Binary Topological Relationships","author":"M.J. Egenhofer","year":"1989","unstructured":"Egenhofer, M.J.: A Formal Definition of Binary Topological Relationships. LNCS, vol.\u00a0367, pp. 457\u2013472. Springer, Heidelberg (1989)"},{"issue":"2","key":"32_CR9","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M.J. Egenhofer","year":"1991","unstructured":"Egenhofer, M.J., Franzosa, R.: Point-Set Topological Spatial Relations. International Journal of Geographic Information Science\u00a05(2), 161\u2013174 (1991)","journal-title":"International Journal of Geographic Information Science"},{"key":"32_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-585-28322-7","volume-title":"Spatial and Temporal Reasoning","author":"L. Stock","year":"1997","unstructured":"Stock, L.: Spatial and Temporal Reasoning. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"32_CR11","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1006\/jvlc.1994.1007","volume":"5","author":"M.J. Egenhofer","year":"1994","unstructured":"Egenhofer, M.J.: Deriving the Composition of Binary Topological Relations. Journal of Visual Languages and Computing\u00a05, 133\u2013149 (1994)","journal-title":"Journal of Visual Languages and Computing"},{"key":"32_CR12","volume-title":"Graph Theory","author":"R. Diestel","year":"1997","unstructured":"Diestel, R.: Graph Theory. Springer, New York (1997)"},{"issue":"6","key":"32_CR13","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1016\/0097-8493(94)90007-8","volume":"18","author":"E. Clementini","year":"1994","unstructured":"Clementini, E., Sharma, J., Egenhofer, M.: Modeling Topological Spatial Relations: Strategies for Query Processing. International Journal of Computer and Graphics\u00a018(6), 815\u2013822 (1994)","journal-title":"International Journal of Computer and Graphics"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Stell, J.G., Worboys, M.F.: The Algebraic Structure of Sets of Regions. LNCS, vol.\u00a01329, pp. 163\u2013174. Springer, Heidelberg (1997)","DOI":"10.1007\/3-540-63623-4_49"}],"container-title":["Lecture Notes in Computer Science","Managing Knowledge in a World of Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11891451_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:32:13Z","timestamp":1619494333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11891451_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540463634","9783540463658"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11891451_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}