=Paper=
{{Paper
|id=Vol-2116/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2116/preface.pdf
|volume=Vol-2116
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-2116/preface.pdf</pdf>
<pre>
Yuri Sato
Zohreh Shams
(editors)




SetVR 2018

International Workshop on
Set Visualization and Reasoning 2018
Edinburgh, UK, June 18, 2018
Proceedings
                                    Preface

SetVR 2018 (International Workshop on Set Visualization and Reasoning 2018)
is the 6th meeting, with the first one held in 2004, previously called the Euler Dia-
grams Workshop. It aimed to promote theoretical, empirical, applied research on
visualization and diagrammatic reasoning, especially, about sets (set-theoretical
and grouped data). SetVR 2018 ran as part of Diagrams 2018 conference, which
was held in Edinburgh UK from June 18th to 22nd in 2018, and occupied the
first day (June 18th) during this period.
    SetVR 2018 covered all aspects of set visualization and reasoning, especially
in research areas such as information visualization (diagram/graph drawing and
layout; data visualization; ontology visualization; human-computer interaction),
diagrammatic logic (formalization; inference system, expressiveness; decidabil-
ity; computational complexity; automated reasoning; history of notation), cogni-
tive science (efficacy evaluation; cognitive process; cognitive model; educational
outcome) and application of diagrams (visual modeling; real world reasoning;
ontology engineering; data exploration).
    SetVR 2018 solicited long and short papers, of which we accepted three
long papers and four short papers. Every submission was reviewed by three
members of the Program Committee. We were also happy to have Professor
Peter C-H. Cheng (University of Sussex) who gave an invited talk titled “Sets
For Foundational Representations? A Design Case Study With Probability And
Distributions”.
    We would like to thank the paper authors for their contributions and the pro-
gram committee members for their reviewing service. We also appreciate Mateja
Jamnik and Gem Stapleton for their indispensable advice and the organizers
of Diagrams 2018 conference. This workshop was partially funded by a Lever-
hulme Trust Research Project Grant (RPG-2016-082) for the project entitled
Accessible Reasoning with Diagrams.


June 2018                                                                 Yuri Sato
                                                                      Zohreh Shams
Organizers
Yuri Sato (University of Brighton)
Zohreh Shams (University of Cambridge)


Program Committee
Bilal Alsallakh (Bosch Research and Technology Center)
Jim Burton (University of Brighton)
Peter Chapman (Edinburgh Napier University)
Renata De Freitas (Universidade Federal Fluminense)
Mateja Jamnik (University of Cambridge)
Sven Linker (University of Liverpool)
Luana Micallef (Helsinki Institute for Information Technology)
Peter Rodgers (University of Kent)
Gem Stapleton (University of Brighton)


Additional Reviewers

Amirouche Moktefi (Tallinn University of Technology)
                         Table of Contents

Preface

Invited Talk

Sets For Foundational Representations? A Design Case Study With
Probability And Distributions
Peter C-H. Cheng
                                                                       pp. 1–11


Research Papers

Picturing Problems: Solving Logic Puzzles Diagrammatically
John Howse, Gem Stapleton, Jim Burton, Andrew Blake
                                                                      pp. 12–27

Creative Insights: Dual Cognitive Processes in Perspicuous Diagrams
Sandra Visokolskis, Gonzalo Carrión
                                                                      pp. 28–43

Visual reasoning in the Marlo diagram
Marcos Bautista López Aznar
                                                                      pp. 44–59

An Ontology Diagram for Coordination of the Hylomorphically
Treated Entities
Algirdas Budrevicius
                                                                      pp. 60–67

Visualization of Set Inclusion with Gloves
Toshio Suzuki
                                                                      pp. 68–75

Visualizing and Analyzing Discrete Sets with a UML and OCL
Software Design Tool
Martin Gogolla, Khanh-Hoang Doan
                                                                      pp. 76–83

A Case Study in Fitting Area-Proportional Euler Diagrams with
Ellipses using eulerr
Johan Larsson, Peter Gustafsson
                                                                      pp. 84–91

</pre>