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

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