Diagrammatic Representation and Inference

1. Front Matter

   PDF

2. Invited Talks

   1. Diagrams in the Mind: Visual or Spatial?

      • Thomas Barkowsky

      Pages 1-1

   2. Understanding Diagrams, and More: The Computer’s View

      • Randall Davis

      Pages 2-2

3. Tutorials

   1. Diagrams: A Perspective from Logic

      • Dave Barker-Plummer

      Pages 3-3

   2. Drawing Euler Diagrams for Information Visualization

      • John Howse, Peter Rodgers, Gem Stapleton

      Pages 4-4

4. Graduate Student Symposium

   1. The Graduate Student Symposium of Diagrams 2010

      • Jim Davies

      Pages 5-5

5. Euler and Venn Diagrams

   1. The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings

      • Yuri Sato, Koji Mineshima, Ryo Takemura

      Pages 6-22

   2. Drawing Euler Diagrams with Circles

      • Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers

      Pages 23-38

   3. Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information

      • Paolo Bottoni, Andrew Fish

      Pages 39-53

   4. Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons

      • Peter Rodgers, Jean Flower, Gem Stapleton, John Howse

      Pages 54-68

6. Formal Aspects of Diagrams

   1. Fragments of Spider Diagrams of Order and Their Relative Expressiveness

      • Aidan Delaney, Gem Stapleton, John Taylor, Simon Thompson

      Pages 69-83

   2. A Calculus for Graphs with Complement

      • Renata de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Petrucio Viana

      Pages 84-98

   3. Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style

      • Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

      Pages 99-114

7. Reasoning with Diagrams

   1. Alternative Strategies for Spatial Reasoning with Diagrams

      • Mike Stieff, Mary Hegarty, Bonnie Dixon

      Pages 115-127

   2. Relating Two Image-Based Diagrammatic Reasoning Architectures

      • Michael Anderson, George Furnas

      Pages 128-143

   3. A Spatial Search Framework for Executing Perceptions and Actions in Diagrammatic Reasoning

      • Bonny Banerjee, B. Chandrasekaran

      Pages 144-159

   4. Toward a Physics of Equations

      • David Landy

      Pages 160-166

8. Interacting with Diagrams

   1. Usability of Accessible Bar Charts

      • Cagatay Goncu, Kim Marriott, John Hurst

      Pages 167-181

   2. Diagram Editing on Interactive Displays Using Multi-touch and Pen Gestures

      • Mathias Frisch, Jens Heydekorn, Raimund Dachselt

      Pages 182-196

9. Constructing Diagrams

   1. The Effects of Perception of Efficacy and Diagram Construction Skills on Students’ Spontaneous Use of Diagrams When Solving Math Word Problems

      • Yuri Uesaka, Emmanuel Manalo, Shin’ichi Ichikawa

      Pages 197-211

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

• School of Interactive Computing, Design & Intelligence Laboratory, Georgia Institute of Technology,, Atlanta, USA

  Ashok K. Goel

• Computer Laboratory, University of Cambridge, Cambridge, UK

  Mateja Jamnik

• Department of Computer Science & Software Engineering, Auburn University, Auburn, USA

  N. Hari Narayanan

Policies and ethics