Diagrammatic Representation and Inference: 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings (Lecture Notes in Computer Science)

This book constitutes the refereed proceedings of the 4th International Conference on Theory and Application of Diagrams, Diagrams 2006, held in Stanford, CA, USA in June 2006. The 13 revised full papers, 9 revised short papers, and 12 extended abstracts presented together with 2 keynote papers and 2 tutorial papers were carefully reviewed and selected from about 80 submissions. The papers are organized in topical sections on diagram comprehension by humans and machines, notations: history, design and formalization, diagrams and education, reasoning with diagrams by humans and machines, as well as psychological issues in comprehension, production and communication. Front Matter....Pages - The Importance of Both Diagrammatic Conventions and Domain-Specific Knowledge for Diagram Literacy in Science: The Hierarchy as an Illustrative Case....Pages 1-11 Learning by Producing Diagrams....Pages 12-12 Eye Fixations and Diagrammatic Reasoning....Pages 13-15 Cross-Cultural User-Experience Design....Pages 16-24 Communicative Signals as the Key to Automated Understanding of Simple Bar Charts....Pages 25-39 On Line Elaboration of a Mental Model During the Understanding of an Animation....Pages 40-54 From Diagrams to Models by Analogical Transfer....Pages 55-69 The Mathematics of Boundaries: A Beginning....Pages 70-72 Syntactic Variety in Boundary Logic....Pages 73-87 Fixing Shin’s Reading Algorithm for Peirce’s Existential Graphs....Pages 88-92 Canonical Correlation Analysis: Use of Composite Heliographs for Representing Multiple Patterns....Pages 93-97 Modularity and Composition in Propositional Statecharts....Pages 98-103 Objects and Spaces: The Visual Language of Graphics....Pages 104-108 Defining Euler Diagrams: Simple or What?....Pages 109-111 Topological Relations of Arrow Symbols in Complex Diagrams....Pages 112-126 Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry ....Pages 127-129 Flow Diagrams: Rise and Fall of the First Software Engineering Notation....Pages 130-144 Reasoning by Intervals....Pages 145-147 Generalizing Spiders....Pages 148-150 Diagrams in Second or Foreign Language Learning??!....Pages 151-153 Evaluation of ERST – An External Representation Selection Tutor....Pages 154-167 Changing Perceptions of Animated Diagrams....Pages 168-172 The Visual and Verbal as Modes to Express Understanding of the Human Body....Pages 173-175 Interpreting Hierarchical Structure: Evidence from Cladograms in Biology....Pages 176-180 Active Comparison as a Means of Promoting the Development of Abstract Conditional Knowledge and Appropriate Choice of Diagrams in Math Word Problem Solving....Pages 181-195 Synthesizing Visual and Action Routines Using Constraint Programming....Pages 196-198 Deduction with Euler Circles: Diagrams That Hurt....Pages 199-203 Diagrams as Physical Models....Pages 204-217 Visual Creative Design with the Assistance of Curious Agents....Pages 218-220 The Logic of Geometric Proof....Pages 221-225 Exploring the Effect of Animation and Progressive Revealing on Diagrammatic Problem Solving....Pages 226-240 Visual Focus in Computer-Assisted Diagrammatic Reasoning....Pages 241-243 Perceiving Relationships: A Physiological Examination of the Perception of Scatterplots....Pages 244-257 Using Research Diagrams for Member Validation in Qualitative Research....Pages 258-262 Androcentric Preferences for Visuospatial Representations of Gender Differences....Pages 263-266 Exploring the Notion of ‘Clutter’ in Euler Diagrams....Pages 267-282 Using Channel Theory to Account for Graphical Meaning Generations....Pages 283-285 Toward a Comprehensive Model of Graph Comprehension: Making the Case for Spatial Cognition....Pages 286-300 Active Comparison as a Means of Promoting the Development of Abstract Conditional Knowledge and Appropriate Choice of Diagrams in Math Word Problem Solving....Pages E1-E1 Back Matter....Pages -

This book constitutes the refereed proceedings of the 4th International Conference on Theory and Application of Diagrams, Diagrams 2006, held in Stanford, CA, USA in June 2006.

The 13 revised full papers, 9 revised short papers, and 12 extended abstracts presented together with 2 keynote papers and 2 tutorial papers were carefully reviewed and selected from about 80 submissions. The papers are organized in topical sections on diagram comprehension by humans and machines, notations: history, design and formalization, diagrams and education, reasoning with diagrams by humans and machines, as well as psychological issues in comprehension, production and communication.

Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 revised full papers, 9 revised short papers, and 12 extended abstracts are presented together with 2 keynote papers and 2 tutorial papers. The papers are organized in topical sections on diagram comprehension by humans and machines, notations: history, design and formalization, diagrams and education, reasoning with diagrams by humans and machines, and psychological issues in comprehension, production and communication.