Skip to main content
  • Conference proceedings
  • © 2020

Diagrammatic Representation and Inference

11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): Diagrams: International Conference on Theory and Application of Diagrams

Conference proceedings info: Diagrams 2020.

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-54249-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (54 papers)

  1. Front Matter

    Pages i-xiii
  2. Diagrams in Mathematics

    1. Front Matter

      Pages 1-1
    2. Transductive Reconstruction of Hippocrates’ Dynamical Geometrical Diagrams

      • Sandra Visokolskis, Evelyn Vargas, Gonzalo Carrión
      Pages 10-25
    3. Counting Mathematical Diagrams with Machine Learning

      • Henrik Kragh Sørensen, Mikkel Willum Johansen
      Pages 26-33
    4. Modes of Continuity in Diagram for Intermediate Value Theorem

      • Piotr Błaszczyk, Marlena Fila
      Pages 34-49
    5. Modes of Diagrammatic Reasoning in Euclid’s Elements

      • Piotr Błaszczyk, Anna Petiurenko
      Pages 50-65
  3. Diagram Design, Principles, and Classification

    1. Front Matter

      Pages 91-91
    2. Channel-Theoretic Account of the Semantic Potentials of False Diagrams

      • Atsushi Shimojima, Dave Barker-Plummer
      Pages 128-143
    3. Dissecting Representations

      • Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng
      Pages 144-152
    4. Towards Data-Driven Multilinear Metro Maps

      • Soeren Nickel, Martin Nöllenburg
      Pages 153-161
    5. String Diagrams for Assembly Planning

      • Jade Master, Evan Patterson, Shahin Yousfi, Arquimedes Canedo
      Pages 167-183
  4. Reasoning with Diagrams

    1. Front Matter

      Pages 185-185
    2. Observational Advantages and Occurrence Referentiality

      • Francesco Bellucci, Jim Burton
      Pages 202-215

Other Volumes

  1. Diagrammatic Representation and Inference

About this book

This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, Diagrams 2020, held in Tallinn, Estonia, in August 2020.*

The 20 full papers and 16 short papers presented together with 18 posters were carefully reviewed and selected from 82 submissions. The papers are organized in the following topical sections: diagrams in mathematics; diagram design, principles, and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; logic and diagrams; and posters.

*The conference was held virtually due to the COVID-19 pandemic.

The chapters ‘Modality and Uncertainty in Data Visualization: A Corpus Approach to the Use of Connecting Lines,’ ‘On Effects of Changing Multi-Attribute Table Design on Decision Making: An Eye Tracking Study,’ ‘Truth Graph: A Novel Method for Minimizing Boolean Algebra Expressions by Using Graphs,’ ‘The DNA Framework of Visualization’ and ‘Visualizing Curricula’ are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Keywords

  • artificial intelligence
  • computer programming
  • data visualization
  • formal logic
  • graph theory
  • graphic methods
  • hci
  • human-computer interaction
  • modal logic
  • object-oriented programming
  • ontologies
  • semantics
  • software engineering
  • unified modeling language

Editors and Affiliations

  • Tallinn University of Technology, Tallinn, Estonia

    Ahti-Veikko Pietarinen

  • Edinburgh Napier University, Edinburgh, UK

    Peter Chapman

  • University of Groningen, Groningen, The Netherlands

    Leonie Bosveld-de Smet

  • Université de Lorraine, Nancy, France

    Valeria Giardino

  • Columbia University, New York, USA

    James Corter

  • University of Liverpool, Liverpool, UK

    Sven Linker

Bibliographic Information

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-54249-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)