Diagrammatic Representation And Inference: 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings (lecture Notes In Computer Science)

This book constitutes the refereed proceedings of the 5th International Conference on Theory and Application of Diagrams, Diagrams 2008, held in Herrsching, Germany, in September 2008. The 25 revised papers and 28 poster papers presented together with 3 keynote papers and 2 tutorial papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on diagram aesthetics and layout, psychological and cognitive issues, applications of diagrams, theoretical aspects, diagrams in education, as well as understanding and comprehension. Front Matter....Pages - Heterogeneous Reasoning....Pages 1-1 Rich Data Representation: Sophisticated Visual Techniques for Ease and Clarity....Pages 2-3 Model Driven Development with Mechatronic UML....Pages 4-4 Cognitive Dimensions of Notations: Understanding the Ergonomics of Diagram Use....Pages 5-8 Getting Started with Sketch Tools....Pages 9-12 General Euler Diagram Generation....Pages 13-27 Euler Diagram Decomposition....Pages 28-44 Smooth Linear Approximation of Non-overlap Constraints....Pages 45-59 Extremes Are Better: Investigating Mental Map Preservation in Dynamic Graphs....Pages 60-73 An Eye-Tracking Study of Exploitations of Spatial Constraints in Diagrammatic Reasoning....Pages 74-88 What Diagrams Reveal about Representations in Linear Reasoning, and How They Help....Pages 89-102 What Can Pictorial Representations Reveal about the Cognitive Characteristics of Autism?....Pages 103-117 Visual Thinking with an Interactive Diagram....Pages 118-126 Strategy Roadmaps: New Forms, New Practices....Pages 127-140 VAST Improvements to Diagrammatic Scheduling Using Representational Epistemic Interface Design....Pages 141-155 Enhancing State-Space Tree Diagrams for Collaborative Problem Solving....Pages 156-164 Visual Programming with Interaction Nets....Pages 165-171 Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages....Pages 172-187 Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design....Pages 188-205 A Normal Form for Euler Diagrams with Shading....Pages 206-221 Ensuring Generality in Euclid’s Diagrammatic Arguments....Pages 222-235 Depicting Negation in Diagrammatic Logic: Legacy and Prospects....Pages 236-241 Transforming Descriptions and Diagrams to Sketches in Information System Design....Pages 242-256 Graphical Revelations: Comparing Students’ Translation Errors in Graphics and Logic....Pages 257-265 Learning from Animated Diagrams: How Are Mental Models Built?....Pages 266-281 Diagrams for the Masses: Raising Public Awareness – From Neurath to Gapminder and Google Earth....Pages 282-292 Detection of Sample Differences from Dot Plot Displays....Pages 293-307 Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants....Pages 308-320 The Effects of Users’ Background Diagram Knowledge and Task Characteristics upon Information Display Selection....Pages 321-334 Multimodal Comprehension of Graphics with Textual Annotations: The Role of Graphical Means Relating Annotations and Graph Lines....Pages 335-343 Talk to the Hand: An Agenda for Further Research on Tactile Graphics....Pages 344-346 Openproof - A Flexible Framework for Heterogeneous Reasoning....Pages 347-349 Cognitive and Semantic Perspectives of Token Representation in Diagrams....Pages 350-352 Estimating Effort for Trend Messages in Grouped Bar Charts....Pages 353-356 Types and Programs from Euler Diagrams....Pages 357-359 Diagrams in the UK National School Curriculum....Pages 360-363 LePUS3: An Object-Oriented Design Description Language....Pages 364-367 Utilizing Feature Diagrams to Assess the Capabilities of Tools That Support the Model Driven Architecture....Pages 368-370 Diagrammatic Knowledge-Based Tools for Complex Multi-dynamic Processes....Pages 371-373 Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs....Pages 374-377 A Concept Mapping Tool for Nursing Education....Pages 378-381 Cognitive Methods for Visualizing Space, Time, and Agents....Pages 382-384 Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram....Pages 385-387 A Strategy for Drawing a Conceptual Neighborhood Diagram Schematically....Pages 388-390 Supporting Relational Processing in Complex Animated Diagrams....Pages 391-394 Animated Cladograms: Interpreting Evolution from Diagrams....Pages 395-397 Automatic Diagram Drawing Based on Natural Language Text Understanding....Pages 398-400 Texts and Graphs Elaboration: The Effect of Graphs’ Examination on Recall....Pages 401-403 Diagrammatic Logic of Existential Graphs: A Case Study of Commands....Pages 404-407 Diagrammatic Reasoning in Separation Logic....Pages 408-411 Method of Minimal Representation: An Alternative Diagrammatic Technique to Test the Validity of Categorical Syllogisms....Pages 412-414 The Relationship between Graph Comprehension and Spatial Imagery: Support for an Integrative Theory of Graph Cognition....Pages 415-418 Using MusicXML to Evaluate Accuracy of OMR Systems....Pages 419-422 Aestheticization of Flowcharts....Pages 423-426 Towards Diagrammatic Patterns....Pages 427-429 Visualizing Meaning: Literacy Materials for Dyslexic Children....Pages 430-432 Diagrammatic Interrelationships between Global and Local Algebraic Visual Objects: Communicating the Visual Abstraction....Pages 433-436 School Curriculum Development to Promote Student Spontaneous Diagram Use in Problem Solving....Pages 437-439 Back Matter....Pages - 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.