{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T15:10:05Z","timestamp":1750000205802,"version":"3.41.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,2,20]],"date-time":"2017-02-20T00:00:00Z","timestamp":1487548800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/M011763\/1"],"award-info":[{"award-number":["EP\/M011763\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1007\/s11225-017-9711-6","type":"journal-article","created":{"date-parts":[[2017,2,20]],"date-time":"2017-02-20T14:16:55Z","timestamp":1487600215000},"page":"787-815","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison"],"prefix":"10.1007","volume":"105","author":[{"given":"Gem","family":"Stapleton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Blake","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Burton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anestis","family":"Touloumis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,2,20]]},"reference":[{"issue":"12","key":"9711_CR1","doi-asserted-by":"crossref","first-page":"2259","DOI":"10.1109\/TVCG.2011.186","volume":"17","author":"B Alper","year":"2011","unstructured":"Alper, B., N. Henry Riche, G. Ramos, and M. Czerwinski, Design study of LineSets, a novel set visualization technique, IEEE Transactions on Visualization and Computer Graphics 17(12):2259\u20132267, 2011.","journal-title":"IEEE Transactions on Visualization and Computer Graphics"},{"key":"9711_CR2","doi-asserted-by":"crossref","unstructured":"Alqadah, M., G. Stapleton, J. Howse, and P. Chapman, Evaluating the impact of clutter in Euler diagrams, in 8th International Conference on the Theory and Application of Diagrams, Springer, 2014, pp. 109\u2013123.","DOI":"10.1007\/978-3-662-44043-8_15"},{"key":"9711_CR3","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1016\/j.ins.2015.05.020","volume":"330","author":"A Blake","year":"2015","unstructured":"Blake, A., G. Stapleton, J. Howse, and P. Rodgers, The impact of topological and graphical properties on the perception of Euler diagrams, Information Sciences 330:455\u2013482, 2015.","journal-title":"Information Sciences"},{"key":"9711_CR4","doi-asserted-by":"crossref","unstructured":"Burton, J., M.K. Chakraborty, L. Chouduhry, and G. Stapleton, Minimizing clutter using absence in Venn-ie, in 9th International Conference on the Theory and Application of Diagrams, Springer, 2016, pp. 107\u2013122.","DOI":"10.1007\/978-3-319-42333-3_9"},{"key":"9711_CR5","doi-asserted-by":"crossref","unstructured":"Chapman, P., G. Stapleton, P. Rodgers, L. Micallef, and A. Blake, Visualizing sets: An empirical comparison of diagram types, in 8th International Conference on the Theory and Application of Diagrams, Springer, 2014, pp. 146\u2013160.","DOI":"10.1007\/978-3-662-44043-8_18"},{"key":"9711_CR6","doi-asserted-by":"crossref","unstructured":"Choudhury, L., and M.K. Chakraborty, On extending Venn diagrams by augmenting names of individuals, in 3rd International Conference on the Theory and Application of Diagrams, Springer, 2004, pp. 142\u2013146.","DOI":"10.1007\/978-3-540-25931-2_14"},{"issue":"11","key":"9711_CR7","first-page":"96","volume":"5","author":"L Chourdhury","year":"2012","unstructured":"Chourdhury, L., and M.K. Chakraborty, On representing open universe, Studies in Logic 5(11):96\u2013112, 2012.","journal-title":"Studies in Logic"},{"issue":"2","key":"9711_CR8","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s11787-016-0145-0","volume":"10","author":"L Chourdhury","year":"2016","unstructured":"Chourdhury, L., and M.K. Chakraborty, Singular propositions, negation and the square of opposition, Logica Universalis 10(2):215\u2013231, 2016.","journal-title":"Logica Universalis"},{"key":"9711_CR9","doi-asserted-by":"crossref","unstructured":"Dau, F., Constants and functions in Peirce\u2019s existential graphs, in Conceptual Structures, Springer, 2007, pp. 429\u2013442.","DOI":"10.1007\/978-3-540-73681-3_32"},{"key":"9711_CR10","doi-asserted-by":"crossref","unstructured":"Eckstein, P.M., Visual search: A retrospective, Journal of Vision 11(5):14, 2011.","DOI":"10.1167\/11.5.14"},{"key":"9711_CR11","doi-asserted-by":"crossref","unstructured":"Fish, A., and J. Masthoff, An experimental study into the default reading of constraint diagrams, in IEEE Symposium Visual Languages and Human Centric Computing, IEEE, 2005, pp. 287\u2013289.","DOI":"10.1109\/VLHCC.2005.17"},{"key":"9711_CR12","doi-asserted-by":"crossref","unstructured":"Gil, J., J. Howse, and S., KENT Formalising spider diagrams, in IEEE Symposium on Visual Languages, IEEE, 1999, pp. 130\u2013137.","DOI":"10.1109\/VL.1999.795884"},{"issue":"4","key":"9711_CR13","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1006\/jvlc.1999.0130","volume":"10","author":"C Gurr","year":"1999","unstructured":"Gurr, C., Effective diagrammatic communication: Syntactic, semantic and pragmatic issues, Journal of Visual Languages and Computing 10(4):317\u2013342, 1999.","journal-title":"Journal of Visual Languages and Computing"},{"key":"9711_CR14","unstructured":"Hammer, E., Logic and visual information, CSLI Publications, 1995."},{"issue":"7","key":"9711_CR15","doi-asserted-by":"crossref","first-page":"1170","DOI":"10.1109\/TVCG.2011.127","volume":"18","author":"GC Healey","year":"2012","unstructured":"Healey, G.C., and J.T. Enns, Attention and visual memory in visualization and computer graphics, IEEE transactions on visualization and computer graphics, 18(7):1170\u20131188, 2012.","journal-title":"IEEE transactions on visualization and computer graphics"},{"key":"9711_CR16","doi-asserted-by":"crossref","unstructured":"Hou, T., P. Chapman, and A. Blake, Antipattern comprehension: An empirical evaluation, in 9th International Conference on Formal Ontology in Information Systems, IOS Press, 2016, pp. 211\u2013224.","DOI":"10.3233\/978-1-61499-660-6-211"},{"key":"9711_CR17","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J Howse","year":"2005","unstructured":"Howse, J., G. Stapleton, and J. Taylor, Spider diagrams, LMS Journal of Computation and Mathematics 8:145\u2013194, 2005.","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"9711_CR18","doi-asserted-by":"crossref","unstructured":"Howse, J., G. Stapleton, K. Taylor, and P. Chapman, Visualizing ontologies: A case study, in 10th International Semantic Web Conference, Springer, 2011, pp. 257\u2013272.","DOI":"10.1007\/978-3-642-25073-6_17"},{"issue":"3","key":"9711_CR19","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1037\/0033-295X.114.3.599","volume":"114","author":"L Huang","year":"2007","unstructured":"Huang, L., and H. Pashler, A Boolean map theory of visual attention, Psychological review 114(3):599\u2013631, 2007.","journal-title":"Psychological review"},{"key":"9711_CR20","doi-asserted-by":"crossref","unstructured":"John, C., A. Fish, J. Howse, and J. Taylor, Exploring the notion of clutter in Euler diagrams, in 4th International Conference on the Theory and Application of Diagrams, Springer, 2006, pp. 267\u2013282.","DOI":"10.1007\/11783183_36"},{"key":"9711_CR21","doi-asserted-by":"crossref","unstructured":"Kent, S., Constraint diagrams: Visualizing invariants in object oriented models, in Proceedings of OOPSLA97, ACM Press, 1997, pp. 327\u2013341.","DOI":"10.1145\/263698.263756"},{"key":"9711_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.actpsy.2014.05.004","volume":"151","author":"S Khemlani","year":"2014","unstructured":"Khemlani, S., I. Orenes, and P. Johnson-Laird, The negations of conjunctions, conditionals, and disjunctions, Acta Psychologica 151:1\u20137, 2014.","journal-title":"Acta Psychologica"},{"key":"9711_CR23","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1093\/biomet\/73.1.13","volume":"73","author":"KY Liang","year":"1986","unstructured":"Liang, K.Y., and S.L. Zeger, Longitudinal data analysis using generalized linear models, Biometrika 73:13\u201322, 1986.","journal-title":"Biometrika"},{"issue":"11","key":"9711_CR24","doi-asserted-by":"crossref","first-page":"1846","DOI":"10.1109\/TVCG.2013.76","volume":"19","author":"W Meulemans","year":"2013","unstructured":"Meulemans, W., N. Henry Riche, B. Speckmann, B. Alper, and T. Dwyer, Kelpfusion: A hybrid set visualization technique, IEEE Transactions on Visualization and Computer Graphics 19(11):1846\u20131858, 2013.","journal-title":"IEEE Transactions on Visualization and Computer Graphics"},{"issue":"3","key":"9711_CR25","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/s10849-012-9160-6","volume":"21","author":"K Mineshima","year":"2012","unstructured":"Mineshima, K., M. Okada, and R. Takemura, A diagrammatic inference system with Euler circles, Journal of Logic, Language and Information 21(3):365\u2013391, 2012.","journal-title":"Journal of Logic, Language and Information"},{"issue":"4","key":"9711_CR26","doi-asserted-by":"crossref","first-page":"597","DOI":"10.12697\/SSS.2015.43.4.14","volume":"43","author":"A Moktefi","year":"2015","unstructured":"Moktefi, A., Is Euler\u2019s circle a symbol or an icon?, Sign Systems Studies 43(4):597\u2013615, 2015.","journal-title":"Sign Systems Studies"},{"key":"9711_CR27","doi-asserted-by":"crossref","unstructured":"Purchase, H.C., Experimental Human Computer Interaction: A practical guide with visual examples, Cambridge University Press, 2012.","DOI":"10.1017\/CBO9780511844522"},{"issue":"6","key":"9711_CR28","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/TVCG.2010.210","volume":"16","author":"N Riche","year":"2010","unstructured":"Riche, N., and T. Dwyer, Untangling Euler diagrams, IEEE Transactions on Visualization and Computer Graphics 16(6):1090\u20131099, 2010.","journal-title":"IEEE Transactions on Visualization and Computer Graphics"},{"issue":"7","key":"9711_CR29","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/TVCG.2011.143","volume":"18","author":"P Rodgers","year":"2012","unstructured":"Rodgers, P., L. Zhang, and H. Purchase, Wellformedness properties in Euler diagrams: Which should be used?, IEEE Transactions on Visualization and Computer Graphics 18(7):1089\u20131100, 2012.","journal-title":"IEEE Transactions on Visualization and Computer Graphics"},{"issue":"2","key":"9711_CR30","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1167\/7.2.17","volume":"7","author":"R Rosenholtz","year":"2007","unstructured":"Rosenholtz, R., Y. Li, and L. Nakano, Measuring visual clutter, Journal of Vision 7(2):17, 2007.","journal-title":"Journal of Vision"},{"key":"9711_CR31","first-page":"143","volume":"2015","author":"Y Sato","year":"2015","unstructured":"Sato, Y., S. Masuda, Y. Someya, T. Tsujii, and S. Watanabe, An fMRI analysis of the efficacy of Euler diagrams in logical reasoning, in IEEE Symposium on Visual Languages and Human-Centric Computing, 2015, 2015, pp. 143\u2013151.","journal-title":"Watanabe, An fMRI analysis of the efficacy of Euler diagrams in logical reasoning, in IEEE Symposium on Visual Languages and Human-Centric Computing"},{"issue":"4","key":"9711_CR32","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/s10849-015-9225-4","volume":"24","author":"Y Sato","year":"2015","unstructured":"Sato, Y., and M. Mineshima, How diagrams can support syllogistic reasoning: An experimental study, Journal of Logic, Language and Information 24(4):409\u2013455, 2015.","journal-title":"Journal of Logic, Language and Information"},{"key":"9711_CR33","doi-asserted-by":"crossref","unstructured":"Shin, S.-J., The logical status of diagrams, Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511574696"},{"key":"9711_CR34","doi-asserted-by":"crossref","unstructured":"Shin, S.-J., The iconic logic of Peirce\u2019s graphs, Bradford Book, 2002.","DOI":"10.7551\/mitpress\/3633.001.0001"},{"key":"9711_CR35","unstructured":"Stapleton, G., A. Blake, J. Burton, and A. Touloumis, Supplementary material, http:\/\/readableproofs.org\/absence-study-2016 . Accessed September 2016."},{"key":"9711_CR36","doi-asserted-by":"crossref","unstructured":"Stapleton, G., J. Howse, S. Thompson, J. Taylor, and P. Chapman, On the completeness of spider diagrams augmented with constants, in S.-J. Shin, and A.\u00a0Moktefi, (eds.), Visual Reasoning with Diagrams, Birkhauser, 2013, pp. 107\u2013122.","DOI":"10.1007\/978-3-0348-0600-8_7"},{"key":"9711_CR37","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.jvlc.2008.01.005","volume":"20","author":"G Stapleton","year":"2009","unstructured":"Stapleton, G., J. Taylor, J. Howse, and S. Thompson, The expressiveness of spider diagrams augmented with constants, Journal of Visual Languages and Computing 20:30\u201349, 2009.","journal-title":"Journal of Visual Languages and Computing"},{"key":"9711_CR38","doi-asserted-by":"crossref","unstructured":"Swoboda, N., Implementing Euler\/Venn reasoning systems, in M.\u00a0Anderson, B.\u00a0Meyer, and P.\u00a0Olivier, (eds.), Diagrammatic representation and reasoning, Springer-Verlag, 2001, pp. 371\u2013386.","DOI":"10.1007\/978-1-4471-0109-3_21"},{"issue":"2","key":"9711_CR39","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/s10270-003-0044-8","volume":"3","author":"N Swoboda","year":"2004","unstructured":"Swoboda, N., and G. Allwein, Using DAG transformations to verify Euler\/Venn homogeneous and Euler\/Venn FOL heterogeneous rules of inference, Journal on Software and System Modeling 3(2):136\u2013149, 2004.","journal-title":"Journal on Software and System Modeling"},{"key":"9711_CR40","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/s10849-013-9186-4","volume":"22","author":"J Szymanik","year":"2013","unstructured":"Szymanik, J., and R. Verbrugge, Logic and cognition: Special issue of best papers of the ESSLLI 2012 workshop, Journal of Logic, Language and Information 22:357\u2013362, 2013.","journal-title":"Journal of Logic, Language and Information"},{"key":"9711_CR41","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, Studia Logica 103:669\u2013696, 2015.","journal-title":"Studia Logica"},{"issue":"2","key":"9711_CR42","doi-asserted-by":"crossref","first-page":"202","DOI":"10.3758\/BF03200774","volume":"1","author":"JM Wolfe","year":"1994","unstructured":"Wolfe, J.M., Guided Search 2.0 A revised model of visual search, Psychonomic Bulletin & Review 1(2):202\u2013238, 1994.","journal-title":"Psychonomic Bulletin & Review"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9711-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9711-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9711-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T14:32:37Z","timestamp":1749997957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9711-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,20]]},"references-count":42,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,8]]}},"alternative-id":["9711"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9711-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2017,2,20]]}}}