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