|
Vol-854
urn:nbn:de:0074-854-7
Copyright ©
2012 for the individual papers
by the papers' authors. Copying permitted only for private and academic purposes.
This volume is published and copyrighted by its editors.
|
Proceedings of the 3rd International Workshop on Euler Diagrams
Canterbury, UK, July 2, 2012.
Held in conjunction with the
7th International Conference on the Theory and Application of Diagrams (Diagrams 2012)
Edited by
*
School of Computing, Engineering and Mathematics, University of Brighton, Brighton, UK
+
School of Computing, University of Kent, Canterbury, UK
Complete Proceedings (143 pages)
Table of Contents
Keynote
-
Developing a Visual Code-dependency Analysis Tool
for the Visual Studio IDE:
Research Meets
Practice in Showing Containment in an
Interactive Diagramming Tool
1
Tim Dwyer
Logic and Reasoning
-
Completeness Proof Strategies for Euler Diagram Logics
2-16
Jim Burton, Gem Stapleton, John Howse
-
On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective
17-31
Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada
-
Visualizing Syllogisms: Category Pattern Diagrams versus Venn Diagrams
32-46
Peter C.-H. Cheng
-
Understanding and Predicting the Affordances of Visual Logics
47-61
Jim Burton, Peter Coppin
Abstractions, Aesthetics, and Constructions
-
The Online Abstraction Problem for Euler Diagrams
62-76
Gennaro Cordasco, Rosario De Chiara, Andrew Fish
-
Aesthetic and Practical Concerns in the Drawing of Euler and Venn Diagrams: Case Studies using SVG
77-91
David Dailey
-
Introducing 3D Venn and Euler Diagrams
92-106
Peter Rodgers, Jean Flower, Gem Stapleton
Application
-
FunEuler: an Euler Diagram based Interface Enhanced with Region-based Functionalities
107-121
Gennaro Cordasco, Rosario De Chiara, Andrew Fish, Vittorio Scarano
-
Multi-Attribute Glyphs on Venn Diagrams to Represent Quantities and Aid Visual Decoding
122-129
Richard Brath
17-Jun-2012: submitted by Peter Chapman, Luana Micallef
18-Jun-2012: published on CEUR-WS.org