## Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, Volume 3Although diagrammatic representations have been a feature of human com- nication from early history, recent advances in printing and electronic media technologyhaveintroducedincreasinglysophisticatedvisualrepresentationsinto everydaylife. We need to improve our understanding of the role of diagramsand sketches in communication, cognition, creative thought, and problem-solving. These concerns have triggered a surge of interest in the study of diagrammatic notations, especially in academic disciplines dealing with cognition, compu- tion, and communication. We believe that the study of diagrammatic communication is best pursued as an interdisciplinary endeavor. The Diagrams conference series was launched to support an international research community with this common goal. After successful meetings in Edinburgh (2000) and Georgia (2002), Diagrams 2004 was the third event in the series. The Diagramsseries attracts a largenumber of researchersfrom virtually all academic?elds who arestudying the nature of d- grammatic representations,their use in human communication, and cognitive or computationalmechanismsforprocessingdiagrams.Bycombiningseveralearlier workshop and symposium series that were held in the US and Europe – R- soning with Diagrammatic Representations (DR), US; Thinking with Diagrams (TWD), Europe; and Theory of Visual Languages (TVL), Europe – Diagrams has emerged as a major international conference on this topic. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Relations between Internal and External Visualizations | 1 |

Can Diagrams Have Epistemic Value? The Case of Euclid | 14 |

Survey and Some Generalizations | 18 |

On Freges Logical Diagrams? | 22 |

Psychological Foundations for Concept Modeling | 26 |

On Differences between the Real and Physical Plane | 29 |

Mathematical Foundations | 32 |

Towards a Default Reading for Constraint Diagrams | 51 |

Do Graph Users Construe Fictive Motion? | 333 |

Effects on Inferences and the Integration of Information | 337 |

The Diagrammatic Design of a DoubleSided Deck | 341 |

A Cognitive Processing Perspective on Student Programmers Graphicacy | 344 |

Using Graphics to Communicate Across Cultures | 347 |

The Effect of KnowledgeofExternalRepresentations upon Performance and Representational Choice in a Database Query Task | 351 |

The Solution for Learning Dynamic Content? | 355 |

Integrating Information from Animated Diagrams | 360 |

Drawing Graphs in Euler Diagrams | 66 |

Diagrams and Nonmonotonicity in Puzzles | 82 |

Peirces Diagrammatic Logic in IF Perspective | 97 |

What Can Spider Diagrams Say? | 112 |

Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets | 128 |

On Extending Venn Diagram by Augmenting Names of Individuals | 142 |

Reasoning with Projected Contours | 147 |

An Architecture for Problem Solving with Diagrams | 151 |

A Heuristic Approach to Theorem Proving With Spider Diagrams | 166 |

Automated Model Transformation and Its Validation Using AToM3 and AGG | 182 |

Interdiagrammatic Reasoning and Digital Geometry | 199 |

A Prototype Inference Engine for RuleBased Geometric Reasoning | 216 |

Automatic Proofs for Scalecharts | 227 |

What Why How | 231 |

Roles of Diagrammatic Information for the Discovery of Geometrical Theorems | 235 |

Interpreting Imprecise Diagrams | 239 |

Benefits beyond Locational Indexing | 242 |

Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics | 255 |

Individual Differences in Graphical Reasoning | 271 |

Effects of Repetition and Interaction | 286 |

Predictors of Success in Diagrammatic Problem Solving | 301 |

Speech and Graphical Interaction in Multimodal Communication | 316 |

Generating New Research Hypotheses from a Result Diagram of Qualitative Research | 329 |

A Case Study | 365 |

Can Object Instance Diagrams Help First Year Students Understand Program Behaviour? | 368 |

Spatial Transformations in Graph Comprehension | 372 |

Constructing Diagrams Representing Group Motions | 376 |

An Informative Illustration of the Pairing Problem | 379 |

A Colored Calculator for Picturing Posteriors | 382 |

Conceptual Integration Counteracts Visual Complexity | 385 |

Visualization Techniques for Product Change and Product Modelling in Complex Design | 388 |

Geographic Projection of Cluster Composites | 392 |

An Empirical Study on RealLife CreditRisk Data | 395 |

Feature Diagrams in Phonology | 398 |

Using Color Component Overlays for Result Visualization in a Classification by Sketch System | 402 |

Is Easier Harder? | 407 |

A ComponentBased Toolkit for Creating Smart Diagram Environments | 415 |

An Overview | 420 |

Perceptual Support of Diagram Creation and Editing | 424 |

Perceptually Supported Diagram Image Editing | 428 |

An Experimental Comparison of Diagrammatic and Algebraic Logics | 433 |

Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram ... | 436 |

Selected Aspects of Customization of Cognitive Dimensions for Evaluation of Visual Modeling Languages | 439 |

Notations for Software Engineering Class Structures | 442 |

447 | |

### Other editions - View all

### Common terms and phrases

abstract algorithm analysis applied arrows bar chart Berlin Heidelberg 2004 Blackwell Cognitive Science Cognitive Science Society complex components Computer concept graphs connected constraint diagrams contour corresponding curve deﬁned Delete diagrammatic reasoning digital geometry display domain drawing edge elements Euler diagram example existential graphs expressions extemal ﬁgure ﬁnding ﬁrst formalism function graph with cuts Hegarty heuristic hypergraph inference infomorphism infonnation information graphic intemal visualization interaction interpretation intersection labelled LNAI logic machine meta-model Narayanan nodes notation objects pair paper participants Peirce Peirce’s perceptual tasks Petri net pixels planar planar graph predicate problem solving proof QGwCs queue region relations represent rules semantics sentential representations sequence signiﬁcant solver spatial representations spatial visualization ability speciﬁc spider diagram Springer-Verlag Berlin Heidelberg structure target theorem total order transformation unitary University Venn diagrams vertex whiteboard