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

This book constitutes the refereed proceedings of the Third International Conference, Diagrams 2004, held in Cambridge, UK, in March 2004.
The 18 revised full papers and 42 revised poster papers presented together with a survey article and the abstracts of 2 posters were carefully reviewed and selected from a total of 91 submissions. The papers are organized in topical sections on fundamental issues, logical aspects of diagrammatic representation and reasoning, computational aspects of diagrammatic representation and reasoning, cognitive aspects of diagrammatic representation and reasoning, visualizing information with diagrams, diagrams in human-computer interaction, and diagrams in software engineering.

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