{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T22:43:29Z","timestamp":1781217809993,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642145995","type":"print"},{"value":"9783642146008","type":"electronic"}],"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_6","type":"book-chapter","created":{"date-parts":[[2010,7,26]],"date-time":"2010-07-26T10:51:07Z","timestamp":1280141467000},"page":"6-22","source":"Crossref","is-referenced-by-count":13,"title":["The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings"],"prefix":"10.1007","author":[{"given":"Yuri","family":"Sato","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Koji","family":"Mineshima","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ryo","family":"Takemura","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"3","volume-title":"Logical Reasoning with Diagrams","author":"J. Barwise","year":"1991","unstructured":"Barwise, J., Etchemendy, J.: Visual information and valid reasoning. In: Allwein, G., Barwise, J. (eds.) Logical Reasoning with Diagrams, pp. 3\u201326. Oxford University Press, Oxford (1991)"},{"issue":"6","key":"6_CR2","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1111\/j.1467-9280.1993.tb00584.x","volume":"4","author":"M. Bauer","year":"1993","unstructured":"Bauer, M., Johnson-Laird, P.N.: How diagrams can improve reasoning. Psychology Science\u00a04(6), 372\u2013378 (1993)","journal-title":"Psychology Science"},{"key":"6_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/11783183_27","volume-title":"Diagrammatic Representation and Inference","author":"P.D. Calvillo","year":"2006","unstructured":"Calvillo, P.D., DeLeeuw, K., Revlin, R.: Deduction with Euler Circles: Diagrams That Hurt. In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds.) Diagrams 2006. LNCS (LNAI), vol.\u00a04045, pp. 199\u2013203. Springer, Heidelberg (2006)"},{"issue":"3","key":"6_CR4","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1037\/h0041961","volume":"58","author":"L. Chapman","year":"1959","unstructured":"Chapman, L., Chapman, J.: Atmosphere effect re-examined. Journal of Experimental Psychology\u00a058(3), 220\u2013226 (1959)","journal-title":"Journal of Experimental Psychology"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"76","DOI":"10.3758\/BF03197431","volume":"6","author":"L.S. Dickstein","year":"1978","unstructured":"Dickstein, L.S.: The effect of figure on syllogistic reasoning. Memory and Cognition\u00a06, 76\u201383 (1978)","journal-title":"Memory and Cognition"},{"issue":"3","key":"6_CR6","doi-asserted-by":"publisher","first-page":"135","DOI":"10.3758\/BF03333584","volume":"18","author":"L.S. Dickstein","year":"1981","unstructured":"Dickstein, L.S.: The meaning of conversion in syllogistic reasoning. Bulletin of the Psychonomic Society\u00a018(3), 135\u2013138 (1981)","journal-title":"Bulletin of the Psychonomic Society"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0959-4752(98)00052-8","volume":"9","author":"M. Dobson","year":"1999","unstructured":"Dobson, M.: Information enforcement and learning with interactive graphical systems. Learning and Instruction\u00a09, 365\u2013390 (1999)","journal-title":"Learning and Instruction"},{"key":"6_CR8","volume-title":"Loyola Symposium on Cognition","author":"J.R. Erickson","year":"1974","unstructured":"Erickson, J.R.: A set analysis theory of behavior in formal syllogistic reasoning tasks. In: Solso, R. (ed.) Loyola Symposium on Cognition, vol.\u00a02. Erlbaum, Mahwah (1974)"},{"key":"6_CR9","unstructured":"Gergonne, J.D.: Essai de dialectique rationelle. Annuales de Mathematiques pures et appliqukes\u00a07, 189\u2013228 (1817)"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1023\/A:1008314528229","volume":"8","author":"C.A. Gurr","year":"1998","unstructured":"Gurr, C.A., Lee, J., Stenning, K.: Theories of diagrammatic reasoning: distinguishing component problems. Minds and Machines\u00a08, 533\u2013557 (1998)","journal-title":"Minds and Machines"},{"key":"6_CR11","volume-title":"Logic and Visual Information","author":"E. Hammer","year":"1995","unstructured":"Hammer, E.: Logic and Visual Information. CSLI Publications, Stanford (1995)"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/01445349808837293","volume":"19","author":"E. Hammer","year":"1998","unstructured":"Hammer, E., Shin, S.: Euler\u2019s visual logic. History and Philosophy of Logic\u00a019, 1\u201329 (1998)","journal-title":"History and Philosophy of Logic"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J. Howse","year":"2005","unstructured":"Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. LMS Journal of Comrutation and Mathematics\u00a08, 145\u2013194 (2005)","journal-title":"LMS Journal of Comrutation and Mathematics"},{"key":"6_CR14","volume-title":"Mental Models: Towards a cognitive science of language, inference, and consciousness","author":"P.N. Johnson-Laird","year":"1983","unstructured":"Johnson-Laird, P.N.: Mental Models: Towards a cognitive science of language, inference, and consciousness. Harvard University Press, Cambridge (1983)"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","volume":"11","author":"J. Larkin","year":"1987","unstructured":"Larkin, J., Simon, H.: Why a diagram is (sometimes) worth 10,000 words. Cognitive Science\u00a011, 65\u201399 (1987)","journal-title":"Cognitive Science"},{"key":"6_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-87730-1_19","volume-title":"Diagrammatic Representation and Inference","author":"K. Mineshima","year":"2008","unstructured":"Mineshima, K., Okada, M., Sato, Y., Takemura, R.: Diagrammatic reasoning system with Euler circles: theory and experiment design. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol.\u00a05223, pp. 188\u2013205. Springer, Heidelberg (2008)"},{"key":"6_CR17","unstructured":"Mineshima, K., Okada, M., Takemura, R.: A diagrammatic inference system with Euler circles (2009) (submitted to a journal)"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1016\/S0022-5371(83)90328-6","volume":"22","author":"S. Newstead","year":"1983","unstructured":"Newstead, S., Griggs, R.: Drawing inferences from quantified statements: A study of the square of opposition. Journal of Verbal Learning and Verbal Behavior\u00a022, 535\u2013546 (1983)","journal-title":"Journal of Verbal Learning and Verbal Behavior"},{"key":"6_CR19","unstructured":"Rizzo, A., Palmonari, M.: The mediating role of artifacts in deductive reasoning. In: Poster Presented at the 27th Annual Conference of the Cognitive Science Society (2005)"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1006\/ijhc.1996.0048","volume":"45","author":"M. Scaife","year":"1996","unstructured":"Scaife, M., Rogers, Y.: External cognition. International Journal of Human - Computer Studies\u00a045, 185\u2013213 (1996)","journal-title":"International Journal of Human - Computer Studies"},{"key":"6_CR21","first-page":"27","volume-title":"Logical Reasoning with Diagrams","author":"A. Shimojima","year":"1996","unstructured":"Shimojima, A.: Operational constraints in diagrammatic reasoning. In: Allwein, G., Barwise, J. (eds.) Logical Reasoning with Diagrams, pp. 27\u201348. Oxford University Press, Oxford (1996a)"},{"key":"6_CR22","unstructured":"Shimojima, A.: On the Efficacy of Representation. PhD thesis, Indiana University (1996b)"},{"key":"6_CR23","volume-title":"The Logical Status of Diagrams","author":"S.-J. Shin","year":"1994","unstructured":"Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0004-3702(71)90011-7","volume":"2","author":"A. Sloman","year":"1971","unstructured":"Sloman, A.: Interactions between philosophy and ai: the role of intuition and non-logical reasoning in intelligence. Artificial Intelligence\u00a02, 209\u2013225 (1971)","journal-title":"Artificial Intelligence"},{"key":"6_CR25","series-title":"ENTCS","first-page":"127","volume-title":"Euler Diagrams 2004","author":"G. Stapleton","year":"2005","unstructured":"Stapleton, G.: A survey of reasoning systems based on Euler diagrams. In: Euler Diagrams 2004. ENTCS, vol.\u00a0134, pp. 127\u2013151. Elsevier, Amsterdam (2005)"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/S0959-4752(98)00053-X","volume":"9","author":"K. Stenning","year":"1999","unstructured":"Stenning, K.: The cognitive consequences of modality assignment for educational communication: the picture in logic teaching. Learning and Instruction\u00a09, 391\u2013410 (1999)","journal-title":"Learning and Instruction"},{"key":"6_CR27","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198507741.001.0001","volume-title":"Seeing Reason: Image and Language in Learning to Think","author":"K. Stenning","year":"2002","unstructured":"Stenning, K.: Seeing Reason: Image and Language in Learning to Think. Oxford University Press, Oxford (2002)"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1207\/s15516709cog1901_3","volume":"19","author":"K. Stenning","year":"1995","unstructured":"Stenning, K., Oberlander, J.: A cognitive theory of graphical and linguistic reasoning. Cognitive Science\u00a019, 97\u2013140 (1995)","journal-title":"Cognitive Science"}],"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_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T07:22:12Z","timestamp":1552807332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14600-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642145995","9783642146008"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14600-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}