Vol-2116
urn:nbn:de:0074-2116-1

Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

SetVR 2018
Set Visualization and Reasoning

Proceedings of International Workshop on Set Visualization and Reasoning (SetVR 2018)
co-located with 10th International Conference on the Theory and Application of Diagrams (Diagrams 2018)

Edinburgh, United Kingdom, June 18, 2018.

Edited by

Yuri Sato *
Zohreh Shams **

* University of Brighton, School of Computing, Engineering and Mathematics, UK.
** University of Cambridge, Department of Computer Science and Technology, UK.

Table of Contents

Preface

Invited Talk

Sets For Foundational Representations? A Design Case Study With Probability And Distributions (invited paper) 1-11
Peter C-H. Cheng

Research Papers

Picturing Problems: Solving Logic Puzzles Diagrammatically 12-27
John Howse, Gem Stapleton, Jim Burton, Andrew Blake
Creative Insights: Dual Cognitive Processes in Perspicuous Diagrams 28-43
Sandra Visokolskis, Gonzalo Carrión
Visual reasoning in the Marlo diagram 44-59
Marcos Bautista López Aznar
An Ontology Diagram for Coordination of the Hylomorphically Treated Entities 60-67
Algirdas Budrevicius
Visualization of Set Inclusion with Gloves 68-75
Toshio Suzuki
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool 76-83
Martin Gogolla, Khanh-Hoang Doan
A Case Study in Fitting Area-Proportional Euler Diagrams with Ellipses using eulerr 84-91
Johan Larsson, Peter Gustafsson

2018-06-13: submitted by Yuri Sato, metadata incl. bibliographic data published under Creative Commons CC0
2018-06-18: published on CEUR-WS.org |valid HTML5|