LEADER 08480nam 22007935 450 001 996466425803316 005 20200703054630.0 010 $a3-642-14600-7 024 7 $a10.1007/978-3-642-14600-8 035 $a(CKB)2670000000036342 035 $a(SSID)ssj0000446420 035 $a(PQKBManifestationID)11318125 035 $a(PQKBTitleCode)TC0000446420 035 $a(PQKBWorkID)10491631 035 $a(PQKB)10910326 035 $a(DE-He213)978-3-642-14600-8 035 $a(MiAaPQ)EBC3065591 035 $a(PPN)149018339 035 $a(EXLCZ)992670000000036342 100 $a20100726d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDiagrammatic Representation and Inference$b[electronic resource] $e6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings /$fedited by Ashok K Goel, Mateja Jamnik, N Hari Narayanan 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XIII, 356 p. 46 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v6170 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-14599-X 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Diagrams in the Mind: Visual or Spatial? -- Understanding Diagrams, and More: The Computer?s View -- Tutorials -- Diagrams: A Perspective from Logic -- Drawing Euler Diagrams for Information Visualization -- Graduate Student Symposium -- The Graduate Student Symposium of Diagrams 2010 -- Euler and Venn Diagrams -- The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings -- Drawing Euler Diagrams with Circles -- Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information -- Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons -- Formal Aspects of Diagrams -- Fragments of Spider Diagrams of Order and Their Relative Expressiveness -- A Calculus for Graphs with Complement -- Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style -- Reasoning with Diagrams -- Alternative Strategies for Spatial Reasoning with Diagrams -- Relating Two Image-Based Diagrammatic Reasoning Architectures -- A Spatial Search Framework for Executing Perceptions and Actions in Diagrammatic Reasoning -- Toward a Physics of Equations -- Interacting with Diagrams -- Usability of Accessible Bar Charts -- Diagram Editing on Interactive Displays Using Multi-touch and Pen Gestures -- Constructing Diagrams -- The Effects of Perception of Efficacy and Diagram Construction Skills on Students? Spontaneous Use of Diagrams When Solving Math Word Problems -- Hi-tree Layout Using Quadratic Programming -- Understanding Diagrams and Text -- Recognizing the Intended Message of Line Graphs -- Mapping Descriptive Models of Graph Comprehension into Requirements for a Computational Architecture: Need for Supporting Imagery Operations -- Getting a Clue: Gist Extraction from Scenes and Causal Systems -- Attention Direction in Static and Animated Diagrams -- Tactile Diagrams: Worth Ten Thousand Words? -- The Effects of Signals on Learning from Text and Diagrams: How Looking at Diagrams Earlier and More Frequently Improves Understanding -- An Attention Based Theory to Explore Affordances of Textual and Diagrammatic Proofs -- Posters -- Effects of Graph Type in the Comprehension of Cyclic Events -- VCL, a Visual Language for Modelling Software Systems Formally -- Visualizing Student Game Design Project Similarities -- Are Pixel Graphs Are Better at Representing Information than Pie Graphs? -- Thinking with Words and Sketches ? Analyzing Multi-modal Design Transcripts Along Verbal and Diagrammatic Data -- How Diagram Interaction Supports Learning: Evidence from Think Alouds during Intelligent Tutoring -- Creating a Second Order Diagrammatic Logic -- An Attention Based Theory to Explore the Cognitive Affordances of Diagrams Relative to Text -- How Does Text Affect the Processing of Diagrams in Multimedia Learning? -- An Experiment to Evaluate Constraint Diagrams with Novice Users -- ?Graph-as-Picture? Misconceptions in Young Students -- What Students Include in Hand-Drawn Diagrams to Explain Seasonal Temperature Variation -- Diagrammatic Specification of Mobile Real-Time Systems -- Manipulatable Models for Investigating Processing of Dynamic Diagrams -- Can Text Content Influence the Effectiveness of Diagrams? -- Attending to and Maintaining Hierarchical Objects in Graphics Comprehension -- Modelling English Spatial Preposition Detectors -- Diagram Interpretation and e-Learning Systems -- An Examination of Cleveland and McGill?s Hierarchy of Graphical Elements -- Does Manipulating Molecular Models Promote Representation Translation of Diagrams in Chemistry? -- Heterogeneous Reasoning in Real Arithmetic -- ?The Molecules are Inside the Atoms?: Students? Personal External Representations of Matter -- Discovering Perceptions of Personal Social Networks through Diagrams. 330 $aThe 6th International Conference on the Theory and Application of Diagrams ? Diagrams 2010 ? was held in Portland, USA in August 2010. Diagrams is an international and interdisciplinary conference series, which continues to present the very best work in all aspects of research on the theory and application of diagrams. Some key questions that researchers are tackling concern gaining an insight into how diagrams are used, how they are rep- sented, which types are available and when it is appropriate to use them. The use of diagrammatic notations is studied for a variety of purposes including communication, cognition, creative thought, computation and problem-solving. Clearly, this must be pursued as an interdisciplinary endeavor, and Diagrams is the only conference series that provides such a united forum for all areas that are concerned with the study of diagrams: for example, architecture, arti?cial intelligence,cartography,cognitivescience,computer science,education,graphic design, history of science, human?computer interaction, linguistics, logic, ma- ematics, philosophy, psychology, and software modelling. The articles in this volume re?ect this variety and interdisciplinarity of the ?eld. 410 0$aLecture Notes in Artificial Intelligence ;$v6170 606 $aUser interfaces (Computer systems) 606 $aArtificial intelligence 606 $aComputer communication systems 606 $aComputers and civilization 606 $aData mining 606 $aComputer science?Mathematics 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040 606 $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 615 0$aUser interfaces (Computer systems). 615 0$aArtificial intelligence. 615 0$aComputer communication systems. 615 0$aComputers and civilization. 615 0$aData mining. 615 0$aComputer science?Mathematics. 615 14$aUser Interfaces and Human Computer Interaction. 615 24$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 24$aComputers and Society. 615 24$aData Mining and Knowledge Discovery. 615 24$aDiscrete Mathematics in Computer Science. 676 $a006.6 702 $aGoel$b Ashok K$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJamnik$b Mateja$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNarayanan$b N Hari$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aDiagrams 2010 906 $aBOOK 912 $a996466425803316 996 $aDiagrammatic Representation and Inference$9772658 997 $aUNISA