LEADER 06797nam 22008895 450 001 9910483076503321 005 20251226203447.0 010 $a3-540-35624-X 024 7 $a10.1007/11783183 035 $a(CKB)1000000000233034 035 $a(SSID)ssj0000317191 035 $a(PQKBManifestationID)11232420 035 $a(PQKBTitleCode)TC0000317191 035 $a(PQKBWorkID)10292646 035 $a(PQKB)10011312 035 $a(DE-He213)978-3-540-35624-0 035 $a(MiAaPQ)EBC3068061 035 $a(PPN)123136245 035 $a(BIP)32373190 035 $a(BIP)13523756 035 $a(EXLCZ)991000000000233034 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDiagrammatic Representation and Inference $e4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings /$fedited by Dave Barker-Plummer, Richard Cox, Nik Swoboda 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XII, 304 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4045 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-35623-1 320 $aIncludes bibliographical references and index. 327 $aKeynote Presentations -- The Importance of Both Diagrammatic Conventions and Domain-Specific Knowledge for Diagram Literacy in Science: The Hierarchy as an Illustrative Case -- Learning by Producing Diagrams -- Tutorials -- Eye Fixations and Diagrammatic Reasoning -- Cross-Cultural User-Experience Design -- Diagram Comprehension by Humans and Machines -- Communicative Signals as the Key to Automated Understanding of Simple Bar Charts -- On Line Elaboration of a Mental Model During the Understanding of an Animation -- From Diagrams to Models by Analogical Transfer -- Notations: History, Design and Formalization -- The Mathematics of Boundaries: A Beginning -- Syntactic Variety in Boundary Logic -- Fixing Shin?s Reading Algorithm for Peirce?s Existential Graphs -- Canonical Correlation Analysis: Use of Composite Heliographs for Representing Multiple Patterns -- Modularity and Composition in Propositional Statecharts -- Objects and Spaces: The Visual Language of Graphics -- Defining Euler Diagrams: Simple or What? -- Topological Relations of Arrow Symbols in Complex Diagrams -- Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry -- Flow Diagrams: Rise and Fall of the First Software Engineering Notation -- Reasoning by Intervals -- Generalizing Spiders -- Diagrams and Education -- Diagrams in Second or Foreign Language Learning??! -- Evaluation of ERST ? An External Representation Selection Tutor -- Changing Perceptions of Animated Diagrams -- The Visual and Verbal as Modes to Express Understanding of the Human Body -- Interpreting Hierarchical Structure: Evidence from Cladograms in Biology -- Active Comparison as a Means of Promoting the Development of Abstract Conditional Knowledge and Appropriate Choice of Diagrams in Math Word ProblemSolving -- Reasoning with Diagrams by Humans and Machines -- Synthesizing Visual and Action Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams as Physical Models -- Visual Creative Design with the Assistance of Curious Agents -- The Logic of Geometric Proof -- Exploring the Effect of Animation and Progressive Revealing on Diagrammatic Problem Solving -- Psychological Issues in Comprehension, Production and Communication -- Visual Focus in Computer-Assisted Diagrammatic Reasoning -- Perceiving Relationships: A Physiological Examination of the Perception of Scatterplots -- Using Research Diagrams for Member Validation in Qualitative Research -- Androcentric Preferences for Visuospatial Representations of Gender Differences -- Exploring the Notion of ?Clutter? in Euler Diagrams -- Using Channel Theory to Account for Graphical Meaning Generations -- Toward a Comprehensive Model of Graph Comprehension: Making the Case for Spatial Cognition -- Active Comparison as a Means of Promoting the Development of Abstract Conditional Knowledge and Appropriate Choice of Diagrams in Math Word Problem Solving -- Psychological Issues in Comprehension, Production and Communication. 330 $aProceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA, USA in June 2006. 13 revised full papers, 9 revised short papers, and 12 extended abstracts are presented together with 2 keynote papers and 2 tutorial papers. The papers are organized in topical sections on diagram comprehension by humans and machines, notations: history, design and formalization, diagrams and education, reasoning with diagrams by humans and machines, and psychological issues in comprehension, production and communication. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4045 606 $aApplication software 606 $aArtificial intelligence 606 $aComputer programming 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aUser interfaces (Computer systems) 606 $aHuman-computer interaction 606 $aSocial sciences$xData processing 606 $aComputer and Information Systems Applications 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aDiscrete Mathematics in Computer Science 606 $aUser Interfaces and Human Computer Interaction 606 $aComputer Application in Social and Behavioral Sciences 615 0$aApplication software. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aUser interfaces (Computer systems). 615 0$aHuman-computer interaction. 615 0$aSocial sciences$xData processing. 615 14$aComputer and Information Systems Applications. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aUser Interfaces and Human Computer Interaction. 615 24$aComputer Application in Social and Behavioral Sciences. 676 $a006.6 701 $aBarker-Plummer$b Dave$01762686 701 $aCox$b Richard$0104049 701 $aSwoboda$b Nik$01762687 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483076503321 996 $aDiagrammatic representation and inference$94202769 997 $aUNINA