• Aucun résultat trouvé

Preface

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Preface"

Copied!
4
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Yuri Sato Zohreh Shams (editors)

SetVR 2018

International Workshop on

Set Visualization and Reasoning 2018 Edinburgh, UK, June 18, 2018

Proceedings

(2)

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

(3)

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)

(4)

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

pp. 28–43 Visual reasoning in the Marlo diagram

Marcos Bautista L´opez 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

Références

Télécharger maintenant ( PDF - 4 Page - 90.07 KB )

Documents relatifs

Preface

The conference now focuses on all aspects of learning in logic, multi-relational learning and data mining, sta- tistical relational learning, graph and tree mining,

Preface

The aim of the workshop was to bring together active researchers in formal areas of Computer Science (CS) such as Logic, Formal languages, Algorithms, and Non-

Preface

Along the different proposed analyses, while some approaches are based on a single domain, discussions as the ones in Torres (2018) are crossed among areas.. Torres (2018)

Preface

This volume contains the papers of evaluation tasks presented at the China Conference on Knowledge Graph and Semantic Computing (CCKS 2018).. CCKS 2018 is the

Preface

This volume contains the articles from the workshop on Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd

Preface

The workshop aims at bringing to- gether researchers interested in set theory, especially to design tools for dealing with set theory, such as interactive or automated theorem

Preface

Title: Visualization and Interaction for Ontologies and Linked Data (VOILA! 2018) Editors: Valentina Ivanova, Patrick Lambrix, Steffen Lohmann, Catia Pesquita CEUR

Preface

The School was held in Universidad Austral, Valdivia, Chile, in October 29-31, 2018 and it covered various subjects related to Space Exploration, such as design of robust and