{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:16:49Z","timestamp":1725560209426},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642145995"},{"type":"electronic","value":"9783642146008"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-14600-8_15","type":"book-chapter","created":{"date-parts":[[2010,7,26]],"date-time":"2010-07-26T10:51:07Z","timestamp":1280141467000},"page":"144-159","source":"Crossref","is-referenced-by-count":5,"title":["A Spatial Search Framework for Executing Perceptions and Actions in Diagrammatic Reasoning"],"prefix":"10.1007","author":[{"given":"Bonny","family":"Banerjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Chandrasekaran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-25931-2_16","volume-title":"Diagrammatic Representation and Inference","author":"B. Chandrasekaran","year":"2004","unstructured":"Chandrasekaran, B., Kurup, U., Banerjee, B., Josephson, J.R., Winkler, R.: An architecture for problem solving with diagrams. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol.\u00a02980, pp. 151\u2013165. Springer, Heidelberg (2004)"},{"key":"15_CR2","volume-title":"Proc. 17th Annual Conf. Cognitive Science Society","author":"Y. Pisan","year":"1995","unstructured":"Pisan, Y.: A visual routines based model of graph understanding. In: Proc. 17th Annual Conf. Cognitive Science Society. Erlbaum, Pittsburgh (1995)"},{"key":"15_CR3","unstructured":"Tessler, S., Iwasaki, Y., Law, K.: Qualitative structural analysis using diagrammatic reasoning. In: Proc. 14th Intl. Joint Conf. AI, Montreal, pp. 885\u2013893 (1995)"},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1111\/0824-7935.00062","volume":"14","author":"R.K. Lindsay","year":"1998","unstructured":"Lindsay, R.K.: Using diagrams to understand geometry. Computational Intelligence\u00a014(2), 238\u2013272 (1998)","journal-title":"Computational Intelligence"},{"key":"15_CR5","volume-title":"Mathematical Reasoning with Diagrams: From Intuition to Automation","author":"M. Jamnik","year":"2001","unstructured":"Jamnik, M.: Mathematical Reasoning with Diagrams: From Intuition to Automation. CSLI Press\/Stanford University, CA (2001)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Ferguson, R.W.: Magi: Analogy-based encoding using symmetry and regularity. In: Proc. 16th Annual Conf. Cognitive Science Society, Atlanta, GA, pp. 283\u2013288 (1994)","DOI":"10.4324\/9781315789354-49"},{"key":"15_CR7","unstructured":"Banerjee, B.: Spatial problem solving for diagrammatic reasoning. PhD thesis, Dept. of Computer Science & Engineering, The Ohio State University, Columbus (2007)"},{"key":"15_CR8","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.D.: Point set topological relations. Intl. Journal of Geographical Information Systems\u00a05, 161\u2013174 (1991)","journal-title":"Intl. Journal of Geographical Information Systems"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/1045-926X(92)90007-9","volume":"3","author":"A.U. Frank","year":"1992","unstructured":"Frank, A.U.: Qualitative spatial reasoning about distances and directions in geographic space. Journal of Visual Languages and Computing\u00a03, 343\u2013371 (1992)","journal-title":"Journal of Visual Languages and Computing"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1009712514511","volume":"1","author":"A.G. Cohn","year":"1997","unstructured":"Cohn, A.G., Bennett, B., Gooday, J.M., Gotts, N.: RCC: A calculus for region based qualitative spatial reasoning. GeoInformatica\u00a01, 275\u2013316 (1997)","journal-title":"GeoInformatica"},{"key":"15_CR11","first-page":"54","volume-title":"Proc. Intl. Symp. Symbolic and Algebraic Computation","author":"C.W. Brown","year":"2007","unstructured":"Brown, C.W., Davenport, J.H.: The complexity of quantifier elimination and cylindrical algebraic decomposition. In: Proc. Intl. Symp. Symbolic and Algebraic Computation, pp. 54\u201360. ACM, New York (2007)"},{"issue":"3","key":"15_CR12","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G.E. Collins","year":"1991","unstructured":"Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation\u00a012(3), 299\u2013328 (1991)","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14600-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T11:24:10Z","timestamp":1591529050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14600-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642145995","9783642146008"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14600-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}