{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:00:08Z","timestamp":1725861608390},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319423326"},{"type":"electronic","value":"9783319423333"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-42333-3_10","type":"book-chapter","created":{"date-parts":[[2016,7,24]],"date-time":"2016-07-24T23:56:24Z","timestamp":1469404584000},"page":"123-138","source":"Crossref","is-referenced-by-count":4,"title":["Human Reasoning with Proportional Quantifiers and Its Support by Diagrams"],"prefix":"10.1007","author":[{"given":"Yuri","family":"Sato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koji","family":"Mineshima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,26]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7622-2","volume-title":"The Logic of Conditionals: An Application of Probability to Deductive Logic","author":"EW Adams","year":"1975","unstructured":"Adams, E.W.: The Logic of Conditionals: An Application of Probability to Deductive Logic. Springer, Dordrecht (1975)"},{"key":"10_CR2","volume-title":"The Logic of Plurality","author":"JEJ Altham","year":"1971","unstructured":"Altham, J.E.J.: The Logic of Plurality. Methuen, London (1971)"},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00350139","volume":"4","author":"J Barwise","year":"1981","unstructured":"Barwise, J., Cooper, R.: Generalized quantifiers and natural language. Linguist. Philos. 4, 159\u2013219 (1981)","journal-title":"Linguist. Philos."},{"key":"10_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-4540-1","volume-title":"Essays in Logical Semantics","author":"J Benthem van","year":"1986","unstructured":"van Benthem, J.: Essays in Logical Semantics. Reidel, Dordrecht (1986)"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1006\/cogp.1998.0696","volume":"38","author":"N Chater","year":"1999","unstructured":"Chater, N., Oaksford, M.: The probability heuristics model of syllogistic reasoning. Cogn. Psychol. 38, 191\u2013258 (1999)","journal-title":"Cogn. Psychol."},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"466","DOI":"10.1007\/978-3-540-24595-7_44","volume-title":"Graph Drawing","author":"S Chow","year":"2004","unstructured":"Chow, S., Ruskey, F.: Drawing area-proportional Venn and Euler diagrams. In: Liotta, G. (ed.) GD 2003. LNCS, vol. 2912, pp. 466\u2013477. Springer, Heidelberg (2004)"},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1080\/01621459.1984.10478080","volume":"79","author":"WS Cleveland","year":"1984","unstructured":"Cleveland, W.S., McGill, R.: Graphical perception: theory, experimentation, and application to the development of graphical methods. J. Am. Stat. Assoc. 79, 531\u2013554 (1984)","journal-title":"J. Am. Stat. Assoc."},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/978-3-662-47709-0_10","volume-title":"Logic, Language, Information, and Computation","author":"J Endrullis","year":"2015","unstructured":"Endrullis, J., Moss, L.S.: Syllogistic logic with \u201cmost\u201d. In: de Paiva, V., de Queiroz, R., Moss, L.S., Leivant, D., de Oliveira, A. (eds.) WoLLIC 2015. LNCS, vol. 9160, pp. 124\u2013139. Springer, Heidelberg (2015)"},{"key":"10_CR9","volume-title":"Reason and Argument","author":"PT Geach","year":"1976","unstructured":"Geach, P.T.: Reason and Argument. University of California Press, Berkeley (1976)"},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1093\/jos\/ffh018","volume":"22","author":"B Geurts","year":"2005","unstructured":"Geurts, B., van Der Slik, F.: Monotonicity and processing load. J. Seman. 22, 97\u2013117 (2005)","journal-title":"J. Seman."},{"key":"10_CR11","unstructured":"MacCartney, B.: Natural Language Inference. Ph.D. thesis, Stanford University (2009)"},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/s10849-012-9160-6","volume":"21","author":"K Mineshima","year":"2012","unstructured":"Mineshima, K., Okada, M., Takemura, R.: A diagrammatic reasoning system with Euler circles. J. Logic Lang. Inf. 21, 365\u2013391 (2012)","journal-title":"J. Logic Lang. Inf."},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"753","DOI":"10.1007\/s11225-012-9428-5","volume":"100","author":"K Mineshima","year":"2012","unstructured":"Mineshima, K., Okada, M., Takemura, R.: A generalized syllogistic inference system based on inclusion and exclusion relations. Stud. Logica 100, 753\u2013785 (2012)","journal-title":"Stud. Logica"},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/j.jvlc.2013.08.007","volume":"25","author":"K Mineshima","year":"2014","unstructured":"Mineshima, K., Sato, Y., Takemura, R., Okada, M.: Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: a relational perspective. J. Vis. Lang. Comput. 25, 156\u2013169 (2014)","journal-title":"J. Vis. Lang. Comput."},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF00398801","volume":"16","author":"N Rescher","year":"1965","unstructured":"Rescher, N., Gallagher, N.A.: Venn diagrams for plurative syllogisms. Philos. Stud. 16, 49\u201355 (1965)","journal-title":"Philos. Stud."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Sato, Y., Masuda, S., Someya, Y., Tsujii, T., Watanabe, S.: An fMRI analysis of the efficacy of Euler diagrams in logical reasoning. In: VL\/HCC 2015, pp. 143\u2013151. IEEE Press (2015)","DOI":"10.1109\/VLHCC.2015.7357209"},{"key":"10_CR17","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/s10849-015-9225-4","volume":"24","author":"Y Sato","year":"2015","unstructured":"Sato, Y., Mineshima, K.: How diagrams can support syllogistic reasoning: an experimental study. J. Logic Lang. Inf. 24, 409\u2013455 (2015)","journal-title":"J. Logic Lang. Inf."},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/978-3-662-44043-8_21","volume-title":"Diagrammatic Representation and Inference","author":"Y Sato","year":"2014","unstructured":"Sato, Y., Wajima, Y., Ueda, K.: An empirical study of diagrammatic inference process by recording the moving operation of diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS, vol. 8578, pp. 190\u2013197. Springer, Heidelberg (2014)"},{"key":"10_CR19","unstructured":"Sato, Y., Wajima, Y., Ueda, K.: Visual bias of diagram in logical reasoning. In: CogSci 2014, pp. 2342\u20132347. Cognitive Science Society, Austin (2014b)"},{"key":"10_CR20","unstructured":"Shimojima, A.: On the Efficacy of Representation. Ph.D. thesis, Indiana University (1996)"},{"key":"10_CR21","volume-title":"Semantic Properties of Diagrams and Their Cognitive Potentials","author":"A Shimojima","year":"2015","unstructured":"Shimojima, A.: Semantic Properties of Diagrams and Their Cognitive Potentials. CSLI Publications, Stanford (2015)"},{"key":"10_CR22","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1016\/j.jvlc.2011.07.001","volume":"22","author":"G Stapleton","year":"2011","unstructured":"Stapleton, G., Rodgers, P., Howse, J.: A general method for drawing area-proportional Euler diagrams. J. Vis. Lang. Comput. 22, 426\u2013442 (2011)","journal-title":"J. Vis. Lang. Comput."},{"key":"10_CR23","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1111\/j.1551-6709.2009.01078.x","volume":"34","author":"J Szymanik","year":"2010","unstructured":"Szymanik, J., Zajenkowski, M.: Comprehension of simple quantifiers: empirical evaluation of a computational model. Cogn. Sci. 34, 521\u2013532 (2010)","journal-title":"Cogn. Sci."},{"key":"10_CR24","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1007\/s11225-014-9584-x","volume":"103","author":"R Takemura","year":"2015","unstructured":"Takemura, R.: Counter-example construction with Euler diagrams. Stud. Logica 103, 669\u2013696 (2015)","journal-title":"Stud. Logica"},{"key":"10_CR25","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1305\/ndjfl\/1093883568","volume":"23","author":"B Thompson","year":"1982","unstructured":"Thompson, B.: Syllogisms using \u201cfew\u201d, \u201cmany\u201d, and \u201cmost\u201d. Notre Dame J. Form. Logic 23, 75\u201384 (1982)","journal-title":"Notre Dame J. Form. Logic"}],"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-319-42333-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T15:05:09Z","timestamp":1498316709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42333-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319423326","9783319423333"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42333-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}