Advertisement

Diagrammatic Representation and Inference

10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

  • Peter Chapman
  • Gem Stapleton
  • Amirouche Moktefi
  • Sarah Perez-Kriz
  • Francesco Bellucci
Conference proceedings Diagrams 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10871)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 10871)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Keynote Contributions

    1. Front Matter
      Pages 1-1
    2. Ahti-Veikko Pietarinen
      Pages 9-12
  3. Tutorials

    1. Front Matter
      Pages 13-13
    2. Javier Legris, Cassiano Terra Rodrigues
      Pages 24-27
    3. Bob Coecke, Aleks Kissinger
      Pages 28-31
    4. Amirouche Moktefi
      Pages 32-35
  4. Generating and Drawing Euler Diagrams

    1. Front Matter
      Pages 37-37
    2. Almas Baimagambetov, John Howse, Gem Stapleton, Aidan Delaney
      Pages 39-54
    3. Martin Erwig, Karl Smeltzer
      Pages 55-70
    4. Christoph Daniel Schulze, Nis Wechselberg, Reinhard von Hanxleden
      Pages 71-78
    5. Ibrahim Venkat, Thamburaj Robinson, K. G. Subramanian, Philippe de Wilde
      Pages 79-86
  5. Diagrams in Mathematics

    1. Front Matter
      Pages 87-87
    2. Andrew Fish, Alexei Lisitsa, Alexei Vernitski
      Pages 89-104
    3. Mikkel Willum Johansen, Morten Misfeldt, Josefine Lomholt Pallavicini
      Pages 105-119
    4. Christophe Eckes, Valeria Giardino
      Pages 120-136
    5. Axel Arturo Barceló Aspeitia
      Pages 137-147
    6. Bryan J. Matlen, Lindsey E. Richland, Ellen C. Klostermann, Emily Lyons
      Pages 148-163
  6. Diagram Design, Principles and Classification

    1. Front Matter
      Pages 181-181
    2. Jessica Hullman, Benjamin Bach
      Pages 183-200
    3. Yuri Engelhardt, Clive Richards
      Pages 201-209
    4. Helen C. Purchase, Katherine Isaacs, Thomas Bueti, Ben Hastings, Aadam Kassam, Allen Kim et al.
      Pages 210-218
    5. Hans Smessaert, Lorenz Demey
      Pages 236-244
  7. Reasoning with Diagrams

    1. Front Matter
      Pages 245-245
    2. Zohreh Shams, Yuri Sato, Mateja Jamnik, Gem Stapleton
      Pages 247-263
    3. William Bechtel, Adele Abrahamsen, Benjamin Sheredos
      Pages 264-279
    4. Jim Burton, Lopamudra Choudhury, Mihir Chakraborty
      Pages 280-295
    5. Atsushi Shimojima, Dave Barker-Plummer
      Pages 296-312
    6. Gem Stapleton, Atsushi Shimojima, Mateja Jamnik
      Pages 313-329
    7. Francesco Bellucci
      Pages 330-335
    8. Dean McHugh
      Pages 346-354
    9. Benjamin Brink Allsopp
      Pages 355-362
  8. Euler and Venn Diagrams

    1. Front Matter
      Pages 363-363
    2. Gem Stapleton, Amirouche Moktefi, John Howse, Jim Burton
      Pages 365-381
    3. Duo Wang, Mateja Jamnik, Pietro Liò
      Pages 390-398
    4. Sven Linker
      Pages 399-407
  9. Empirical Studies and Cognition

    1. Front Matter
      Pages 409-409
    2. Peter B. Lloyd, Peter Rodgers, Maxwell J. Roberts
      Pages 411-428
    3. Günther Schreder, Nicole Hynek, Florian Windhager, Eva Mayr
      Pages 458-469

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018.

The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and selected from 124 submissions. The papers are organized in the following topical sections: generating and drawing Euler diagrams; diagrams in mathematics; diagram design, principles and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; Peirce and existential graphs; and logic and diagrams.

Keywords

3D artificial intelligence comprehension data visualization formal logic graph theory Human-Computer Interaction (HCI) image reconstruction information visualization interactive computer graphics knowledge representation modal logic ontologies problem solving project management semantics software engineering theorem proving user interfaces visualization design

Editors and affiliations

  1. 1.Edinburgh Napier UniversityEdinburghUnited Kingdom
  2. 2.University of BrightonBrightonUnited Kingdom
  3. 3.Tallinn University of TechnologyTallinnEstonia
  4. 4.Mitre CorporationMcLeanUSA
  5. 5.University of BolognaBolognaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-91376-6
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-91375-9
  • Online ISBN 978-3-319-91376-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site