{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:47:22Z","timestamp":1725518842172},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540877295"},{"type":"electronic","value":"9783540877301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87730-1_19","type":"book-chapter","created":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T02:45:47Z","timestamp":1221965147000},"page":"188-205","source":"Crossref","is-referenced-by-count":6,"title":["Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design"],"prefix":"10.1007","author":[{"given":"Koji","family":"Mineshima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitsuhiro","family":"Okada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuri","family":"Sato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryo","family":"Takemura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Ando, J., Shikishima, C., Hiraishi, K., Sugimoto, Y., Takemura, R., Okada, M.: At the crossroads of logic, psychology, and behavioral genetics. In: Okada, M., et al. (eds.) Reasoning and Cognition, pp. 19\u201336. Keio University Press (2006)"},{"key":"19_CR2","doi-asserted-by":"crossref","DOI":"10.4324\/9781410603005","volume-title":"Mental logic","author":"M. Braine","year":"1998","unstructured":"Braine, M., O\u2019Brien, D.: Mental logic. Lawrence Erlbaum Associates, Mahwah (1998)"},{"key":"19_CR3","volume-title":"Elementary Topology","author":"D. Blackett","year":"1983","unstructured":"Blackett, D.: Elementary Topology. Academic Press, London (1983)"},{"key":"19_CR4","series-title":"Lecture Notes in Artificial Intelligence","first-page":"199","volume-title":"Diagrams 2006","author":"P.D. Calvillo","year":"2006","unstructured":"Calvillo, P.D., DeLeeuw, K., Revlin, R.: Deduction with Euler Circles. In: Baker-Plummer, D., et al. (eds.) Diagrams 2006. LNCS (LNAI), vol.\u00a04045, pp. 199\u2013203. Springer, Heidelberg (2006)"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1006\/cogp.1998.0696","volume":"38","author":"N. Chater","year":"1999","unstructured":"Chater, N., Oakford, M.: The probability heuristics model of syllogistic reasoning. Cognitive Psychology\u00a038, 191\u2013258 (1999)","journal-title":"Cognitive Psychology"},{"key":"19_CR6","doi-asserted-by":"crossref","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"},{"key":"19_CR7","unstructured":"Euler, L.: Lettres \u00e0 une Princesse d\u2019Allemagne sur Divers Sujets de Physique et de Philosophie. De l\u2019Acad\u00e9mie des Sciences, Saint-P\u00e9tersbourg (1768)"},{"key":"19_CR8","volume-title":"Human Reasoning","author":"J. Evans","year":"1993","unstructured":"Evans, J., Newstead, S.E., Byrne, R.: Human Reasoning. Lawrence Erlbaum Associates, Mahwah (1993)"},{"key":"19_CR9","unstructured":"Hammer, E.: Logic and Visual Information. CSLI Publications (1995)"},{"key":"19_CR10","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":"19_CR11","first-page":"261","volume-title":"Diagrammatic Representation and Reasoning","author":"B. Meyer","year":"2001","unstructured":"Meyer, B.: Diagrammatic evaluation of visual mathematical notations. In: Anderson, M., Meyer, B., Olivier, P. (eds.) Diagrammatic Representation and Reasoning, pp. 261\u2013277. Springer, Heidelberg (2001)"},{"key":"19_CR12","unstructured":"Peirce, C.S.: Collected Papers IV. Harvard University Press (1897\/1933)"},{"key":"19_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5680.001.0001","volume-title":"The Psychology of Proof","author":"L.J. Rips","year":"1994","unstructured":"Rips, L.J.: The Psychology of Proof. MIT Press, Cambridge (1994)"},{"key":"19_CR14","unstructured":"Rizzo, A., Palmonari, M.: The mediating role of artifacts in deductive reasoning. In: Poster in the 27th Annual Conference of the Cognitive Science Society (2005)"},{"key":"19_CR15","unstructured":"Sato, Y., Takemura, R., Mineshima, K., Shikishima, C., Sugimoto, Y., Ando, J., Okada, M.: Some remarks on deductive syllogistic reasoning studies. In: Okada, M., Takemura, R., Ando, J. (eds.) Reports on Interdisciplinary Logic Inference Studies, pp. 3\u201332. Keio University Press (2008)"},{"key":"19_CR16","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":"19_CR17","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":"19_CR18","unstructured":"Stapleton, G., Rodgers, P., Howse, J., Taylor, J.: Properties of Euler diagrams. In: Stapleton, G., Rodgers, P., Howse, J. (eds.) Proc. Layout of Software Engineering Diagrams. ECEASST, vol.\u00a07, pp. 2\u201316 (2007)"},{"key":"19_CR19","volume-title":"Seeing Reason","author":"K. Stenning","year":"2002","unstructured":"Stenning, K.: Seeing Reason. Oxford University Press, Oxford (2002)"},{"key":"19_CR20","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0364-0213(95)90005-5","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"},{"key":"19_CR21","volume-title":"Human Reasoning and Cognitive Science","author":"K. Stenning","year":"2007","unstructured":"Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2007)"},{"issue":"2","key":"19_CR22","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/s10270-003-0044-8","volume":"3","author":"N. Swoboda","year":"2004","unstructured":"Swoboda, N., Allwein, G.: Using DAG transformations to verify Euler\/Venn homogeneous and Euler\/Venn FOL heterogeneous rules of inference. Journal on Software and System Modeling\u00a03(2), 136\u2013149 (2004)","journal-title":"Journal on Software and System Modeling"},{"key":"19_CR23","series-title":"ENTCS","first-page":"153","volume-title":"Heterogeneous reasoning with Euler\/Venn diagrams containing named constants and FOL","author":"N. Swoboda","year":"2005","unstructured":"Swoboda, N., Allwein, G.: Heterogeneous reasoning with Euler\/Venn diagrams containing named constants and FOL. ENTCS, vol.\u00a0134, pp. 153\u2013187. Elsevier, Amsterdam (2005)"},{"key":"19_CR24","doi-asserted-by":"crossref","DOI":"10.1037\/14127-000","volume-title":"Symbolic Logic","author":"J. Venn","year":"1881","unstructured":"Venn, J.: Symbolic Logic. Macmillan, Basingstoke (1881)"},{"issue":"1","key":"19_CR25","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0364-0213(94)90021-3","volume":"18","author":"J. Zhang","year":"1994","unstructured":"Zhang, J., Norman, D.A.: Representations in distributed cognitive tasks. Cognitive Science\u00a018(1), 87\u2013122 (1994)","journal-title":"Cognitive Science"}],"container-title":["Lecture Notes in Computer Science","Diagrammatic Representation and Inference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87730-1_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:05:55Z","timestamp":1606183555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87730-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540877295","9783540877301"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87730-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}