Diagrammatic Representation and Inference

9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings

  • Mateja Jamnik
  • Yuri Uesaka
  • Stephanie Elzer Schwartz
Conference proceedings Diagrams 2016

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

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

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Cognitive Aspects of Diagrams

    1. Front Matter
      Pages 1-1
    2. Chenmu Xing, James E. Corter, Doris Zahner
      Pages 3-16
    3. Peter C-H. Cheng
      Pages 17-31
    4. Sven Linker, Jim Burton, Andrew Blake
      Pages 32-39 Open Access
    5. Amy Rae Fox, Erica de Vries, Laurent Lima, Savannah Loker
      Pages 40-47
  3. Logic and Diagrams

    1. Front Matter
      Pages 49-49
    2. Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie
      Pages 51-66
  4. Euler and Venn Diagrams

    1. Front Matter
      Pages 105-105
    2. Jim Burton, Mihir Chakraborty, Lopamudra Choudhury, Gem Stapleton
      Pages 107-122 Open Access
  5. Diagrams and Education

  6. Design Principles for Diagrams

    1. Front Matter
      Pages 195-195

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 9th International
Conference on the Theory and Application of Diagrams, Diagrams 2016,
held in Philadelphia, PA, USA, in August 2016.

The 12 revised full papers and 11 short papers presented together with 5 posters were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: cognitive aspects of diagrams; logic and diagrams; Euler and Venn diagrams; diagrams and education; design principles for diagrams; diagrams layout.

Keywords

cognition diagram design information visualization ontologies problem solving Boolean algebra cognitive science completeness cultural schemas diagrammatic patterns graph drawing hypergraphs inference knowledge representation linear diagrams logical geometry OWL theorem proving trees visual content analysis

Editors and affiliations

  • Mateja Jamnik
    • 1
  • Yuri Uesaka
    • 2
  • Stephanie Elzer Schwartz
    • 3
  1. 1.The University of Cambridge CambridgeUnited Kingdom
  2. 2.The University of Tokyo TokyoJapan
  3. 3.Millersville University MillersvilleUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-42333-3
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-42332-6
  • Online ISBN 978-3-319-42333-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book