{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:26:53Z","timestamp":1725467213594},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642312229"},{"type":"electronic","value":"9783642312236"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31223-6_18","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T15:59:20Z","timestamp":1340035160000},"page":"148-162","source":"Crossref","is-referenced-by-count":4,"title":["Euler Diagram Encodings"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Bottoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gennaro","family":"Costagliola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Fish","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-13122-6_32","volume-title":"Fun with Algorithms","author":"T. Cao","year":"2010","unstructured":"Cao, T., Mamakani, K., Ruskey, F.: Symmetric Monotone Venn Diagrams with Seven Curves. In: Boldi, P. (ed.) FUN 2010. LNCS, vol.\u00a06099, pp. 331\u2013342. Springer, Heidelberg (2010)"},{"key":"18_CR2","unstructured":"Chow, S.C.: Generating and Drawing Area-Proportional Euler and Venn Diagrams. PhD thesis, University of Victoria (2007)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Cordasco, G., De Chiara, R., Fish, A.: Interactive visual classification with Euler diagrams. In: Proc. VL\/HCC 2009, pp. 185\u2013192. IEEE (2009)","DOI":"10.1109\/VLHCC.2009.5295265"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.comgeo.2010.07.003","volume":"44","author":"G. Cordasco","year":"2011","unstructured":"Cordasco, G., De Chiara, R., Fish, A.: Fast region computations for reducible Euler diagrams. Computation Geometry: Theory and Applications\u00a044, 52\u201368 (2011)","journal-title":"Computation Geometry: Theory and Applications"},{"key":"18_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-70596-3_7","volume-title":"Conceptual Structures: Knowledge Visualization and Reasoning","author":"F. Dau","year":"2008","unstructured":"Dau, F., Fish, A.: Conceptual Spider Diagrams. In: Eklund, P., Haemmerl\u00e9, O. (eds.) ICCS 2008. LNCS (LNAI), vol.\u00a05113, pp. 104\u2013118. Springer, Heidelberg (2008)"},{"key":"18_CR6","first-page":"183","volume":"6","author":"P. Eades","year":"1995","unstructured":"Eades, P., Lai, W., Misue, K., Sugiyama, K.: Layout adjustment and the mental map. JVLC\u00a06, 183\u2013210 (1995)","journal-title":"JVLC"},{"key":"18_CR7","first-page":"1","volume":"18","author":"A. Fish","year":"2009","unstructured":"Fish, A.: Euler diagram transformations. ECEASST\u00a018, 1\u201317 (2009)","journal-title":"ECEASST"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Fish, A., Flower, J.: Abstractions of Euler diagrams. In: Proc. Euler 2004. ENTCS, vol.\u00a0134, pp. 77\u2013101 (2005)","DOI":"10.1016\/j.entcs.2005.02.021"},{"key":"18_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-540-87730-1_7","volume-title":"Diagrammatic Representation and Inference","author":"A. Fish","year":"2008","unstructured":"Fish, A., Flower, J.: Euler Diagram Decomposition. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol.\u00a05223, pp. 28\u201344. Springer, Heidelberg (2008)"},{"key":"18_CR10","first-page":"541","volume":"16","author":"A. Fish","year":"2005","unstructured":"Fish, A., Flower, J., Howse, J.: The semantics of augmented constraint diagrams. JVLC\u00a016, 541\u2013573 (2005)","journal-title":"JVLC"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Flower, J., Fish, A., Howse, J.: Euler diagram generation. JVLC (2008)","DOI":"10.1016\/j.jvlc.2008.01.004"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10270-003-0036-8","volume":"3","author":"J. Flower","year":"2004","unstructured":"Flower, J., Howse, J., Taylor, J.: Nesting in Euler diagrams: syntax, semantics and construction. Software and Systems Modelling\u00a03, 55\u201367 (2004)","journal-title":"Software and Systems Modelling"},{"key":"18_CR13","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 Journal of Computation and Mathematics\u00a08, 145\u2013194 (2005)","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Kauffman, L.: Knots and Physics. World Scientific (1991)","DOI":"10.1142\/1116"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Kent, S.: Constraint diagrams: Visualizing invariants in object oriented modelling. In: Proc. OOPSLA 1997, pp. 327\u2013341. ACM Press (October 1997)","DOI":"10.1145\/263700.263756"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1186\/1471-2105-9-67","volume":"9","author":"H.A. Kestler","year":"2008","unstructured":"Kestler, H.A., M\u00fcller, A., Kraus, J.M., Buchholz, M., Gress, T.M., Liu, H., Kane, D.W., Zeeberg, B.R., Weinstein, J.: Vennmaster: Area-proportional Euler diagrams for functional GO analysis of microarrays. BMC Bioinformatics\u00a09, 67 (2008)","journal-title":"BMC Bioinformatics"},{"issue":"6","key":"18_CR17","first-page":"1090","volume":"16","author":"N.H. Riche","year":"2010","unstructured":"Riche, N.H., Dwyer, T.: Untangling Euler diagrams. IEEE VCG\u00a016(6), 1090\u20131099 (2010)","journal-title":"IEEE VCG"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press (1994)","DOI":"10.1017\/CBO9780511574696"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Stapleton, G., Masthoff, J., Flower, J., Fish, A., Southern, J.: Automated theorem proving in Euler diagrams systems. Journal of Automated Reasoning (2007)","DOI":"10.1007\/s10817-007-9069-y"},{"issue":"2","key":"18_CR20","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. SoSyM\u00a03(2), 136\u2013149 (2004)","journal-title":"SoSyM"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Thi\u00e8vre, J., Viaud, M., Verroust-Blondet, A.: Using Euler diagrams in traditional library environments. In: Proc. Euler 2004. ENTCS, vol.\u00a0134, pp. 189\u2013202. ENTCS (2005)","DOI":"10.1016\/j.entcs.2005.02.024"},{"issue":"3","key":"18_CR22","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/965105.807462","volume":"14","author":"K. Weiler","year":"1980","unstructured":"Weiler, K.: Polygon comparison using a graph representation. Computer Graphics (SIGGRAPH 1980 Proceedings)\u00a014(3), 10\u201318 (1980)","journal-title":"Computer Graphics (SIGGRAPH 1980 Proceedings)"}],"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-31223-6_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:52:02Z","timestamp":1620129122000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31223-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312229","9783642312236"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31223-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}