Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings

Diagrams is an international and interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams. Recent technological advances have enabled the large-scale adoption of d- grams in a diverse range of areas. Increasingly sophisticated visual represen- tions are emerging and, to enable e?ective communication, insight is required into how diagrams are used and when they are appropriate for use. The per- sive, everyday use of diagrams for communicating information and ideas serves to illustrate the importance of providing a sound understanding of the role that diagrams can, and do, play. Research in the ?eld of diagrams aims to improve our understanding of the role of diagrams, sketches and other visualizations in communication, computation, cognition, creative thought, and problem solving. These concerns have triggered a surge of interest in the study of diagrams. The study of diagrammatic communication as a whole must be pursued as an interdisciplinary endeavour.Diagrams 2008 was the ?fth event in this conf- ence series, which was launched in Edinburghduring September 2000.Diagrams attracts a large number of researchers from virtually all related ?elds, placing the conference as a major international event in the area. Diagrams is the only conference that provides a united forum for all areas that are concerned with the study of diagrams: for example, architecture, - ti?cial intelligence, cartography, cognitive science, computer science, education, graphicdesign,historyofscience,human-computerinteraction,linguistics,logic, mathematics,philosophy,psychology,andsoftwaremodelling.Weseeissuesfrom all of these ?elds discussed in the papers collected in the present volume.

Keynote Reflections.- Heterogeneous Reasoning.- Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity.- Model Driven Development with Mechatronic UML.- Tutorials.- Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use.- Getting Started with Sketch Tools.- Diagram Aesthetics and Layout.- General Euler Diagram Generation.- Euler Diagram Decomposition.- Smooth Linear Approximation of Non-overlap Constraints.- Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs.- Psychological and Cognitive Issues.- An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning.- What Diagrams Reveal about Representations in Linear Reasoning, and How They Help.- What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism?.- Visual Thinking with an Interactive Diagram.- Applications of Diagrams.- Strategy Roadmaps: New Forms, New Practices.- VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design.- Enhancing State-Space Tree Diagrams for Collaborative Problem Solving.- Visual Programming with Interaction Nets.- Theoretical Aspects.- Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages.- Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design.- A Normal Form for Euler Diagrams with Shading.- Ensuring Generality in Euclid’s Diagrammatic Arguments.- Depicting Negation in Diagrammatic Logic: Legacy and Prospects.- Diagrams in Education.- Transforming Descriptions and Diagrams to Sketches in Information System Design.- Graphical Revelations: Comparing Students’ Translation Errors in Graphics and Logic.- Learning from Animated Diagrams: How Are Mental Models Built?.- Diagrams for the Masses: Raising Public Awareness – From Neurath to Gapminder and Google Earth.- Understanding and Comprehension.- Detection of Sample Differences from Dot Plot Displays.- Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants.- The Effects of Users’ Background Diagram Knowledge and Task Characteristics upon Information Display Selection.- Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines.- Posters.- Talk to the Hand: An Agenda for Further Research on Tactile Graphics.- Openproof - A Flexible Framework for Heterogeneous Reasoning.- Cognitive and Semantic Perspectives of Token Representation in Diagrams.- Estimating Effort for Trend Messages in Grouped Bar Charts.- Types and Programs from Euler Diagrams.- Diagrams in the UK National School Curriculum.- LePUS3: An Object-Oriented Design Description Language.- Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture.- Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes.- Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs.- A Concept Mapping Tool for Nursing Education.- Cognitive Methods for Visualizing Space, Time, and Agents.- Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram.- A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically.- Supporting Relational Processing in Complex Animated Diagrams.- Animated Cladograms: Interpreting Evolution from Diagrams.- Automatic Diagram Drawing Based on Natural Language Text Understanding.- Texts and Graphs Elaboration: The Effect of Graphs’ Examination on Recall.- Diagrammatic Logic of Existential Graphs: A Case Study of Commands.- Diagrammatic Reasoning in Separation Logic.- Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms.- The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition.- Using MusicXML to Evaluate Accuracy of OMR Systems.- Aestheticization of Flowcharts.- Towards Diagrammatic Patterns.- Visualizing Meaning: Literacy Materials for Dyslexic Children.- Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction.- School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving.