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

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 -