[CEUR Workshop Proceedings] Vol-853⫷ Vol-854 ⫸Vol-855
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.




[Euler Diagrams 2012 logo] Euler Diagrams 2012


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

Peter Chapman *
Luana Micallef +

* 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

  1. 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

    2. Logic and Reasoning

  2. Completeness Proof Strategies for Euler Diagram Logics 2-16
    Jim Burton, Gem Stapleton, John Howse

  3. On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective 17-31
    Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada

  4. Visualizing Syllogisms: Category Pattern Diagrams versus Venn Diagrams 32-46
    Peter C.-H. Cheng

  5. Understanding and Predicting the Affordances of Visual Logics 47-61
    Jim Burton, Peter Coppin

    6. Abstractions, Aesthetics, and Constructions

  6. The Online Abstraction Problem for Euler Diagrams 62-76
    Gennaro Cordasco, Rosario De Chiara, Andrew Fish

  7. Aesthetic and Practical Concerns in the Drawing of Euler and Venn Diagrams: Case Studies using SVG 77-91
    David Dailey

  8. Introducing 3D Venn and Euler Diagrams 92-106
    Peter Rodgers, Jean Flower, Gem Stapleton

    9. Application

  9. FunEuler: an Euler Diagram based Interface Enhanced with Region-based Functionalities 107-121
    Gennaro Cordasco, Rosario De Chiara, Andrew Fish, Vittorio Scarano

  10. 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