Diagrammatic Representation And Inference: 8th International Conference, Diagrams 2014, Melbourne, Vic, Australia, July 28 - August 1, 2014, Proceedings (lecture Notes In Computer Science)

This book constitutes the refereed proceedings of the 8th International Conference on the Theory and Application of Diagrams, Diagrams 2014, held in Melbourne, VIC, Australia in July/August 2014. The 15 revised full papers and 9 short papers presented together with 6 posters were carefully reviewed and selected from 40 submissions. The papers have been organized in the following topical sections: diagram layout, diagram notations, diagramming tools, diagrams in education, empirical studies and logic and diagrams. Front Matter....Pages - Octilinear Force-Directed Layout with Mental Map Preservation for Schematic Diagrams....Pages 1-8 Counting Crossings for Layered Hypergraphs....Pages 9-15 Evolutionary Meta Layout of Graphs....Pages 16-30 Seeing Around Corners: Fast Orthogonal Connector Routing....Pages 31-37 Tennis Plots: Game, Set, and Match....Pages 38-44 Coloured Modelling Spider Diagrams....Pages 45-47 Graphical Representations of Context-Free Languages....Pages 48-50 An Example HyperVenn Proof....Pages 51-53 Visualizing Concepts with Euler Diagrams....Pages 54-56 Argument Mapping for Mathematics in Proofscape....Pages 57-63 Towards a General Diagrammatic Literacy: An Approach to Thinking Critically about Diagrams....Pages 64-70 Item Differential in Computer Based and Paper Based Versions of a High Stakes Tertiary Entrance Test: Diagrams and the Problem of Annotation....Pages 71-77 Students’ Spontaneous Use of Diagrams in Written Communication: Understanding Variations According to Purpose and Cognitive Cost Entailed....Pages 78-92 How Communicative Learning Situations Influence Students’ Use of Diagrams: Focusing on Spontaneous Diagram Construction and Protocols during Explanation....Pages 93-107 Evaluating the Impact of Clutter in Euler Diagrams....Pages 108-122 The Impact of Shape on the Perception of Euler Diagrams....Pages 123-137 Alternative Strategies in Processing 3D Objects Diagrams: Static, Animated and Interactive Presentation of a Mental Rotation Test in an Eye Movements Cued Retrospective Study....Pages 138-145 Visualizing Sets: An Empirical Comparison of Diagram Types....Pages 146-160 Recognising, Knowing and Naming: Can Object Picture Processing Models Accommodate Non-Picture Visuals?....Pages 161-175 Exploring the Effects of Colouring Graph Diagrams on People of Various Backgrounds....Pages 176-189 An Empirical Study of Diagrammatic Inference Process by Recording the Moving Operation of Diagrams....Pages 190-197 Neural Mechanisms of Global Reading....Pages 198-212 The Relationship between Aristotelian and Hasse Diagrams....Pages 213-227 A Graphical Representation of Boolean Logic....Pages 228-230 The Barwise-Seligman Model of Representation Systems: A Philosophical Explication....Pages 231-245 Logical and Geometrical Complementarities between Aristotelian Diagrams....Pages 246-260 Logical Investigation of Reasoning with Tables....Pages 261-276 A Framework for Heterogeneous Reasoning in Formal and Informal Domains....Pages 277-292 The Second Venn Diagrammatic System....Pages 293-307 Diagrammatically Explaining Peircean Abduction....Pages 308-310 Back Matter....Pages -