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...

Full description

Bibliographic Details
Other Authors: Dwyer, Tim (Editor), Purchase, Helen (Editor), Delaney, Aidan (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2014, 2014
Edition:1st ed. 2014
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 04473nmm a2200481 u 4500
001 EB000892510
003 EBX01000000000000000689630
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140801 ||| eng
020 |a 9783662440438 
100 1 |a Dwyer, Tim  |e [editor] 
245 0 0 |a Diagrammatic Representation and Inference  |h Elektronische Ressource  |b 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014, Proceedings  |c edited by Tim Dwyer, Helen Purchase, Aidan Delaney 
250 |a 1st ed. 2014 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2014, 2014 
300 |a XVIII, 311 p. 107 illus  |b online resource 
505 0 |a 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 --  
505 0 |a The Barwise-Seligman Model of Representation Systems: A Philosophical Explication -- Logical and Geometrical Complementarities between Aristotelian Diagrams -- Logical Investigation of Reasoning withTables -- A Framework for Heterogeneous Reasoning in Formal and Informal Domains -- The Second Venn Diagrammatic System -- Diagrammatically Explaining Peircean Abduction 
505 0 |a How Communicative Learning Situations Influence Students’ Use of Diagrams: Focusing on Spontaneous Diagram Construction and Protocols during Explanation -- 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 --  
653 |a User interfaces (Computer systems) 
653 |a Computer graphics 
653 |a Computers and Society 
653 |a Computer science / Mathematics 
653 |a Discrete Mathematics in Computer Science 
653 |a Computer Graphics 
653 |a Artificial Intelligence 
653 |a Application software 
653 |a Artificial intelligence 
653 |a Discrete mathematics 
653 |a Computer and Information Systems Applications 
653 |a User Interfaces and Human Computer Interaction 
653 |a Human-computer interaction 
653 |a Computers and civilization 
700 1 |a Purchase, Helen  |e [editor] 
700 1 |a Delaney, Aidan  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Lecture Notes in Artificial Intelligence 
028 5 0 |a 10.1007/978-3-662-44043-8 
856 4 0 |u https://doi.org/10.1007/978-3-662-44043-8?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.019 
082 0 |a 005.437 
520 |a 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