{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:09:37Z","timestamp":1726409377310},"publisher-location":"Cham","reference-count":19,"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_9","type":"book-chapter","created":{"date-parts":[[2016,7,25]],"date-time":"2016-07-25T03:56:24Z","timestamp":1469418984000},"page":"107-122","source":"Crossref","is-referenced-by-count":7,"title":["Minimizing Clutter Using Absence in Venn- $$\\text {i}^\\text {e}$$"],"prefix":"10.1007","author":[{"given":"Jim","family":"Burton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mihir","family":"Chakraborty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lopamudra","family":"Choudhury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gem","family":"Stapleton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,26]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/978-3-662-44043-8_15","volume-title":"Diagrammatic Representation and Inference","author":"M Alqadah","year":"2014","unstructured":"Alqadah, M., Stapleton, G., Howse, J., Chapman, P.: Evaluating the impact of clutter in Euler diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS, vol. 8578, pp. 108\u2013122. Springer, Heidelberg (2014)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Burton, J., Chakraborty, M., Choudhury, L., Stapleton, G.: Technical report: minimizing clutter using absence in Venn-ie. http:\/\/readableproofs.org\/diagrams-2016-constants-and-absence-technical-report . Accessed March 2016","DOI":"10.1007\/978-3-319-42333-3_9"},{"issue":"11","key":"9_CR3","first-page":"96","volume":"5","author":"L Choudhury","year":"2012","unstructured":"Choudhury, L., Chakraborty, M.: On representing open universe. Stud. Logic 5(11), 96\u2013112 (2012)","journal-title":"Stud. Logic"},{"issue":"2","key":"9_CR4","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s11787-016-0145-0","volume":"10","author":"L Choudhury","year":"2016","unstructured":"Choudhury, L., Chakraborty, M.: Singular propositions, negation and the square of opposition. Log. Univers. 10(2), 215\u2013231 (2016)","journal-title":"Log. Univers."},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-3-540-25931-2_14","volume-title":"Diagrammatic Representation and Inference","author":"L Choudhury","year":"2004","unstructured":"Choudhury, L., Chakraborty, M.K.: On Extending Venn Diagram by Augmenting Names of Individuals. In: Blackwell, Alan F., Marriott, Kim, Shimojima, Atsushi (eds.) Diagrams 2004. LNCS (LNAI), vol. 2980, pp. 142\u2013146. Springer, Heidelberg (2004)"},{"issue":"6","key":"9_CR6","doi-asserted-by":"crossref","first-page":"1009","DOI":"10.1109\/TVCG.2009.122","volume":"15","author":"C Collins","year":"2009","unstructured":"Collins, C., Penn, G., Sheelagh, M., Carpendale, T.: Bubble sets: revealing set relations with isocontours over existing visualizations. IEEE Trans. Vis. Comput. Graph. 15(6), 1009\u20131016 (2009)","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1016\/j.jvlc.2005.03.001","volume":"16","author":"A Fish","year":"2005","unstructured":"Fish, A., Flower, J., Howse, J.: The semantics of augmented constraint diagrams. J. Vis. Lang. Comput. 16, 541\u2013573 (2005)","journal-title":"J. Vis. Lang. Comput."},{"key":"9_CR8","volume-title":"A Natural History of Negation","author":"L Horn","year":"2001","unstructured":"Horn, L.: A Natural History of Negation, 1st edn. CSLI Lecture Notes. Center for the Study of Language and Information, Stanford (2001)","edition":"1"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J Howse","year":"2005","unstructured":"Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. LMS J. Comput. Math. 8, 145\u2013194 (2005)","journal-title":"LMS J. Comput. Math."},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-3-642-25073-6_17","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"J Howse","year":"2011","unstructured":"Howse, J., Stapleton, G., Taylor, K., Chapman, P.: Visualizing ontologies: a case study. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011, Part I. LNCS, vol. 7031, pp. 257\u2013272. Springer, Heidelberg (2011)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/11783183_36","volume-title":"Diagrammatic Representation and Inference","author":"C John","year":"2006","unstructured":"John, C., Fish, A., Howse, J., Taylor, J.: Exploring the notion of \u2018clutter\u2019 in Euler diagrams. In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds.) Diagrams 2006. LNCS (LNAI), vol. 4045, pp. 267\u2013282. Springer, Heidelberg (2006)"},{"issue":"11","key":"9_CR12","doi-asserted-by":"crossref","first-page":"1846","DOI":"10.1109\/TVCG.2013.76","volume":"19","author":"W Meulemans","year":"2013","unstructured":"Meulemans, W., Riche, N.H., Speckmann, B., Alper, B., Dwyer, T.: Kelpfusion: a hybrid set visualization technique. IEEE Trans. Vis. Comput. Graph. 19(11), 1846\u20131858 (2013)","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"key":"9_CR13","volume-title":"Collected Papers","author":"C Peirce","year":"1933","unstructured":"Peirce, C.: Collected Papers, vol. 4. Harvard University Press, Massachusetts (1933)"},{"issue":"6","key":"9_CR14","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/TVCG.2010.210","volume":"16","author":"N Riche","year":"2010","unstructured":"Riche, N., Dwyer, T.: Untangling Euler diagrams. IEEE Trans. Vis. Comput. Graph. 16(6), 1090\u20131099 (2010)","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-540-25931-2_3","volume-title":"Diagrammatic Representation and Inference","author":"A Shimojima","year":"2004","unstructured":"Shimojima, A.: Inferential and expressive capacities of graphical representations: survey and some generalizations. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrammatic Representation and Inference. LNCS, vol. 2980, pp. 18\u201321. Springer, Heidelberg (2004)"},{"key":"9_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":"9_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3633.001.0001","volume-title":"The Iconic Logic of Peirce\u2019s Graphs","author":"S-J Shin","year":"2002","unstructured":"Shin, S.-J.: The Iconic Logic of Peirce\u2019s Graphs. Bradford Book, Bradford (2002)"},{"key":"9_CR18","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., Taylor, J., Howse, J., Thompson, S.: The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. 20, 30\u201349 (2009)","journal-title":"J. Vis. Lang. Comput."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Swoboda, N., Allwein, G.: Heterogeneous reasoning with Euler\/Venn diagrams containing namedconstants and FOL. In: Euler Diagrams 2004. ENTCS, vol. 134. Elsevier (2005)","DOI":"10.1016\/j.entcs.2005.02.023"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,11]],"date-time":"2019-09-11T17:08:08Z","timestamp":1568221688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42333-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319423326","9783319423333"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42333-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}