El. knyga: Diagrammatic Representation and Inference: 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings

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.

Octilinear Force-Directed Layout with Mental Map Preservation for Schematic Diagrams.- Counting Crossings for Layered Hypergraphs.- Evolutionary Meta Layout of Graphs.- Seeing Around Corners: Fast Orthogonal Connector Routing.- Tennis Plots: Game, Set, and Match.- Coloured Modelling Spider Diagrams.- Graphical Representations of Context-Free Languages.- An Example Hyper Venn Proof.- Visualizing Concepts with Euler Diagrams.- Argument Mapping for Mathematics in Proof scape.- Towards a General Diagrammatic Literacy: An Approach to Thinking Critically about Diagrams.- Item Differential in Computer Based and Paper Based Versions of a High Stakes Tertiary Entrance Test: Diagrams and the Problem of Annotation.- Students Spontaneous Use of Diagrams in Written Communication Understanding Variations According to Purpose and Cognitive Cost Entailed.- How Communicative Learning Situations Influence Students Use of Diagrams: Focusing on Spontaneous Diagram Construction and Protocols during Ex

planation.- Evaluating the Impact of Clutter in Euler Diagrams.- The Impact of Shape on the Perception of Euler Diagrams.- Alternative Strategies in Processing 3D Objects Diagrams: Static, Animated and Interactive Presentation of a Mental Rotation Test in an Eye Movements Cued Retrospective Study.- Visualizing Sets: An Empirical Comparison of Diagram Types.- Recognising, Knowing and Naming: Can Object Picture Processing Models Accommodate Non-Picture Visuals .- Exploring the Effects of Colouring Graph Diagrams on People of Various Backgrounds.- An Empirical Study of Diagrammatic Inference Process by Recording the Moving Operation of Diagrams.- Neural Mechanisms of Global Reading.- The Relationship between Aristotelian and Hasse Diagrams.- A Graphical Representation of Boolean Logic.- The Barwise-Seligman Model of Representation Systems: A Philosophical Explication.- Logical and Geometrical Complementarities between Aristotelian Diagrams.- Logical Investigation of Reasoning with Ta

bles.- A Framework for Heterogeneous Reasoning in Formal and Informal Domains.- The Second Venn Diagrammatic System.- Diagrammatically Explaining Peircean Abduction.