Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, Uk, March 22-24, 2004 : Proceedings

Although 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.

Diagrams in the Mind and in the World: Relations between Internal and External Visualizations.- Can Diagrams Have Epistemic Value? The Case of Euclid.- Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations.- On Frege’s Logical Diagrams.- Psychological Foundations for Concept Modeling.- On Differences between the Real and Physical Plane.- Query Graphs with Cuts: Mathematical Foundations.- Towards a Default Reading for Constraint Diagrams.- Drawing Graphs in Euler Diagrams.- Diagrams and Non-monotonicity in Puzzles.- Peirce’s Diagrammatic Logic in IF Perspective.- What Can Spider Diagrams Say?.- Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets.- On Extending Venn Diagram by Augmenting Names of Individuals.- Reasoning with Projected Contours.- An Architecture for Problem Solving with Diagrams.- Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams.- Automated Model Transformation and Its Validation Using AToM3 and AGG.- Inter-diagrammatic Reasoning and Digital Geometry.- A Prototype Inference Engine for Rule-Based Geometric Reasoning.- Automatic Proofs for Scalecharts.- Diagram Schemas: What, Why, How.- Roles of Diagrammatic Information for the Discovery of Geometrical Theorems.- Interpreting Imprecise Diagrams.- Why Diagrams Are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing.- Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics.- Individual Differences in Graphical Reasoning.- Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction.- Predictors of Success in Diagrammatic Problem Solving.- Speech and Graphical Interaction in Multimodal Communication.- Generating New Research Hypotheses from a Result Diagram of Qualitative Research.- Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion?.- Learning with Diagrams: Effects on Inferences and the Integration of Information.- Making TRACS: The Diagrammatic Design of a Double-Sided Deck.- A Cognitive Processing Perspective on Student Programmers’ ‘Graphicacy’.- Using Graphics to Communicate Across Cultures.- The Effect of Knowledge-of-External-Representations upon Performance and Representational Choice in a Database Query Task.- User-Controllable Animated Diagrams: The Solution for Learning Dynamic Content?.- Processing Animation: Integrating Information from Animated Diagrams.- A Training Program to be Perceptually Sensitive and Conceptually Productive through Meta-cognition: A Case Study.- Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour?.- Spatial Transformations in Graph Comprehension.- Constructing Diagrams Representing Group Motions.- Bar-Gain Boxes: An Informative Illustration of the Pairing Problem.- Bayesian Boxes: A Colored Calculator for Picturing Posteriors.- Representing Rosters: Conceptual Integration Counteracts Visual Complexity.- Visualization Techniques for Product Change and Product Modelling in Complex Design.- Geographic Projection of Cluster Composites.- Decision Diagrams in Machine Learning: An Empirical Study on Real-Life Credit-Risk Data.- Feature Diagrams in Phonology.- Using Color Component Overlays for Result Visualization in a Classification by Sketch System.- Teaching Children Brackets by Manipulating Trees: Is Easier Harder?.- Cider: A Component-Based Toolkit for Creating Smart Diagram Environments.- Diagrammatic Spreadsheet: An Overview.- Perceptual Support of Diagram Creation and Editing.- ScanScribe: Perceptually Supported Diagram Image Editing.- An Experimental Comparison of Diagrammatic and Algebraic Logics.- Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition.- Selected Aspects of Customization of Cognitive Dimensions for Evaluation of Visual Modeling Languages.- Notations for Software Engineering Class Structures.