Diagrammatic Representation and Inference

6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings

  • Ashok K. Goel
  • Mateja Jamnik
  • N. Hari Narayanan

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

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Tutorials

    1. Dave Barker-Plummer
      Pages 3-3
    2. John Howse, Peter Rodgers, Gem Stapleton
      Pages 4-4
  4. Graduate Student Symposium

  5. Euler and Venn Diagrams

    1. Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers
      Pages 23-38
    2. Peter Rodgers, Jean Flower, Gem Stapleton, John Howse
      Pages 54-68
  6. Formal Aspects of Diagrams

    1. Aidan Delaney, Gem Stapleton, John Taylor, Simon Thompson
      Pages 69-83
    2. Renata de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Petrucio Viana
      Pages 84-98
    3. Koji Mineshima, Mitsuhiro Okada, Ryo Takemura
      Pages 99-114
  7. Reasoning with Diagrams

    1. Mike Stieff, Mary Hegarty, Bonnie Dixon
      Pages 115-127
    2. Michael Anderson, George Furnas
      Pages 128-143
    3. David Landy
      Pages 160-166
  8. Interacting with Diagrams

    1. Cagatay Goncu, Kim Marriott, John Hurst
      Pages 167-181
    2. Mathias Frisch, Jens Heydekorn, Raimund Dachselt
      Pages 182-196
  9. Constructing Diagrams

About these proceedings


The 6th International Conference on the Theory and Application of Diagrams – Diagrams 2010 – was held in Portland, USA in August 2010. Diagrams is an international and interdisciplinary conference series, which continues to present the very best work in all aspects of research on the theory and application of diagrams. Some key questions that researchers are tackling concern gaining an insight into how diagrams are used, how they are rep- sented, which types are available and when it is appropriate to use them. The use of diagrammatic notations is studied for a variety of purposes including communication, cognition, creative thought, computation and problem-solving. Clearly, this must be pursued as an interdisciplinary endeavor, and Diagrams is the only conference series that provides such a united forum for all areas that are concerned with the study of diagrams: for example, architecture, arti?cial intelligence,cartography,cognitivescience,computer science,education,graphic design, history of science, human–computer interaction, linguistics, logic, ma- ematics, philosophy, psychology, and software modelling. The articles in this volume re?ect this variety and interdisciplinarity of the ?eld.


Design Euler diagrams HCI Multimedia Usability Venn diagrams computational models diagram aesthetics diagram layout diagrammatic notations diagrams information visualization logic modeling perception

Editors and affiliations

  • Ashok K. Goel
    • 1
  • Mateja Jamnik
    • 2
  • N. Hari Narayanan
    • 3
  1. 1.School of Interactive Computing, Design & Intelligence LaboratoryGeorgia Institute of Technology,AtlantaUSA
  2. 2.Computer LaboratoryUniversity of CambridgeCambridgeUK
  3. 3.Department of Computer Science & Software EngineeringAuburn UniversityAuburnUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-14600-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-14599-5
  • Online ISBN 978-3-642-14600-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Consumer Packaged Goods