Euler diagram encodings

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7352 LNAI, Issue , 2012, Pages 148-162

  Bottoni, Paolo ^a   Costagliola, Gennaro ^b   Fish, Andrew ^c  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b UNIVERSITY OF SALERNO   (Italy)

^c UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION AREA; ENCODINGS; EULER DIAGRAMS; MENTAL MAPS; STATIC CODES;

VISUALIZATION;

ENCODING (SYMBOLS);

EID: 84863623215     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31223-6_18     Document Type: Conference Paper

References (22)

1. Cao, T.,Mamakani, K., Ruskey, F.: Symmetric Monotone Venn Diagrams with Seven Curves. In: Boldi, P. (ed.) FUN 2010. LNCS, vol. 6099, pp. 331-342. Springer, Heidelberg (2010)
2. Chow, S.C.: Generating and Drawing Area-Proportional Euler and Venn Diagrams. PhD thesis, University of Victoria (2007)
3. Cordasco, G., De Chiara, R., Fish, A.: Interactive visual classification with Euler diagrams. In: Proc. VL/HCC 2009, pp. 185-192. IEEE (2009)
4. Cordasco, G., De Chiara, R., Fish, A.: Fast region computations for reducible Euler diagrams. Computation Geometry: Theory and Applications 44, 52-68 (2011)
5. Dau, F., Fish, A.: Conceptual Spider Diagrams. In: Eklund, P., Haemmerlé, O. (eds.) ICCS 2008. LNCS (LNAI), vol. 5113, pp. 104-118. Springer, Heidelberg (2008)
6. Eades, P., Lai,W., Misue, K., Sugiyama, K.: Layout adjustment and the mental map. JVLC 6, 183-210 (1995)
7. Fish, A.: Euler diagram transformations. ECEASST 18, 1-17 (2009)
8. Fish, A., Flower, J.: Abstractions of Euler diagrams. In: Proc. Euler 2004. ENTCS, vol. 134, pp. 77-101 (2005)
9. Fish, A., Flower, J.: Euler Diagram Decomposition. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol. 5223, pp. 28-44. Springer, Heidelberg (2008)
10. Fish, A., Flower, J., Howse, J.: The semantics of augmented constraint diagrams. JVLC 16, 541-573 (2005)
11. Flower, J., Fish, A., Howse, J.: Euler diagram generation. JVLC (2008)
12. Flower, J., Howse, J., Taylor, J.: Nesting in Euler diagrams: syntax, semantics and construction. Software and Systems Modelling 3, 55-67 (2004)
13. Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. LMS Journal of Computation and Mathematics 8, 145-194 (2005)
14. Kauffman, L.: Knots and Physics. World Scientific (1991)
15. Kent, S.: Constraint diagrams: Visualizing invariants in object oriented modelling. In: Proc. OOPSLA 1997, pp. 327-341. ACM Press (October 1997)
16. Kestler, H.A., Müller, 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 9, 67 (2008)
17. Riche, N.H., Dwyer, T.: Untangling Euler diagrams. IEEE VCG 16(6), 1090-1099 (2010)
18. Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press (1994)
19. Stapleton, G., Masthoff, J., Flower, J., Fish, A., Southern, J.: Automated theorem proving in Euler diagrams systems. Journal of Automated Reasoning (2007)
20. Swoboda, N., Allwein, G.: Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. SoSyM 3(2), 136-149 (2004)
21. Thièvre, J., Viaud, M., Verroust-Blondet, A.: Using Euler diagrams in traditional library environments. In: Proc. Euler 2004. ENTCS, vol. 134, pp. 189-202. ENTCS (2005)
22. Weiler, K.: Polygon comparison using a graph representation. Computer Graphics (SIGGRAPH 1980 Proceedings) 14(3), 10-18 (1980)