Skip to main content
Book cover
  • Conference proceedings
  • © 2018

Diagrammatic Representation and Inference

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

Editors:

  1. Peter Chapman

    1. Edinburgh Napier University, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gem Stapleton

    1. University of Brighton, Brighton, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Amirouche Moktefi

    1. Tallinn University of Technology, Tallinn, Estonia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Sarah Perez-Kriz

    1. Mitre Corporation, McLean, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Francesco Bellucci

    1. University of Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Sections

eBook USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-91376-6
  • 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 119.99
Price excludes VAT (USA)
Learn about institutional subscriptions

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

Table of contents (82 papers)

  1. Front Matter

    Pages I-XVI
    PDF

  2. Keynote Contributions

    1. Front Matter

      Pages 1-1
      PDF

    3. The Beauty of Graphs

      • Ahti-Veikko Pietarinen
      Pages 9-12

  3. Tutorials

    1. Front Matter

      Pages 13-13
      PDF

    4. Peirce on Diagrammatic Reasoning and Semeiotic

      • Javier Legris, Cassiano Terra Rodrigues
      Pages 24-27

    5. Picturing Quantum Processes

      • Bob Coecke, Aleks Kissinger
      Pages 28-31

    6. Carroll Diagrams: Design and Manipulation

      • Amirouche Moktefi
      Pages 32-35

  4. Generating and Drawing Euler Diagrams

    1. Front Matter

      Pages 37-37
      PDF

    2. Generating Effective Euler Diagrams

      • Almas Baimagambetov, John Howse, Gem Stapleton, Aidan Delaney
      Pages 39-54

    3. Variational Pictures

      • Martin Erwig, Karl Smeltzer
      Pages 55-70

    4. Edge Label Placement in Layered Graph Drawing

      • Christoph Daniel Schulze, Nis Wechselberg, Reinhard von Hanxleden
      Pages 71-78

    5. Generation of Kolam-Designs Based on Contextual Array P Systems

      • Ibrahim Venkat, Thamburaj Robinson, K. G. Subramanian, Philippe de Wilde
      Pages 79-86

  5. Diagrams in Mathematics

    1. Front Matter

      Pages 87-87
      PDF

    2. Visual Algebraic Proofs for Unknot Detection

      • Andrew Fish, Alexei Lisitsa, Alexei Vernitski
      Pages 89-104

    3. A Typology of Mathematical Diagrams

      • Mikkel Willum Johansen, Morten Misfeldt, Josefine Lomholt Pallavicini
      Pages 105-119

    4. The Classificatory Function of Diagrams: Two Examples from Mathematics

      • Christophe Eckes, Valeria Giardino
      Pages 120-136

    5. Mathematical Pictures

      • Axel Arturo Barceló Aspeitia
      Pages 137-147
Back to top

Other Volumes

  1. Diagrammatic Representation and Inference

Back to top

About this book

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.

Back to top

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
Back to top

Editors and Affiliations

  • Edinburgh Napier University, Edinburgh, UK

    Peter Chapman

  • University of Brighton, Brighton, UK

    Gem Stapleton

  • Tallinn University of Technology, Tallinn, Estonia

    Amirouche Moktefi

  • Mitre Corporation, McLean, USA

    Sarah Perez-Kriz

  • University of Bologna, Bologna, Italy

    Francesco Bellucci

Back to top

Bibliographic Information

Back to top
Access via your institution
eBook USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-91376-6
  • 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 119.99
Price excludes VAT (USA)
Learn about institutional subscriptions