LEADER 08020nam 22006615 450 001 9910144205703321 005 20200706102331.0 010 $a1-280-30801-X 010 $a9786610308019 010 $a3-540-25931-7 024 7 $a10.1007/b95854 035 $a(CKB)1000000000212323 035 $a(DE-He213)978-3-540-25931-2 035 $a(SSID)ssj0000138333 035 $a(PQKBManifestationID)11154769 035 $a(PQKBTitleCode)TC0000138333 035 $a(PQKBWorkID)10118902 035 $a(PQKB)11744605 035 $a(MiAaPQ)EBC3087368 035 $a(PPN)155194747 035 $a(EXLCZ)991000000000212323 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDiagrammatic Representation and Inference $eThird International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings /$fedited by Alan Blackwell, Kim Marriott, Atsushi Shimojima 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XVI, 456 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2980 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-21268-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aDiagrams in the Mind and in the World: Relations between Internal and External Visualizations -- Can Diagrams Have Epistemic Value? The Case of Euclid -- Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations -- On Frege?s Logical Diagrams -- Psychological Foundations for Concept Modeling -- On Differences between the Real and Physical Plane -- Query Graphs with Cuts: Mathematical Foundations -- Towards a Default Reading for Constraint Diagrams -- Drawing Graphs in Euler Diagrams -- Diagrams and Non-monotonicity in Puzzles -- Peirce?s Diagrammatic Logic in IF Perspective -- What Can Spider Diagrams Say? -- Ensuring the Drawability of Extended Euler Diagrams for up to 8 Sets -- On Extending Venn Diagram by Augmenting Names of Individuals -- Reasoning with Projected Contours -- An Architecture for Problem Solving with Diagrams -- Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams -- Automated Model Transformation and Its Validation Using AToM3 and AGG -- Inter-diagrammatic Reasoning and Digital Geometry -- A Prototype Inference Engine for Rule-Based Geometric Reasoning -- Automatic Proofs for Scalecharts -- Diagram Schemas: What, Why, How -- Roles of Diagrammatic Information for the Discovery of Geometrical Theorems -- Interpreting Imprecise Diagrams -- Why Diagrams Are (Sometimes) Six Times Easier than Words: Benefits beyond Locational Indexing -- Incorporating Perceptual Task Effort into the Recognition of Intention in Information Graphics -- Individual Differences in Graphical Reasoning -- Co-ordinating Conventions in Graphical Dialogue: Effects of Repetition and Interaction -- Predictors of Success in Diagrammatic Problem Solving -- Speech and Graphical Interaction in Multimodal Communication -- Generating New Research Hypotheses from a Result Diagram of Qualitative Research -- Interpreting Lines in Graphs: Do Graph Users Construe Fictive Motion? -- Learning with Diagrams: Effects on Inferences and the Integration of Information -- Making TRACS: The Diagrammatic Design of a Double-Sided Deck -- A Cognitive Processing Perspective on Student Programmers? ?Graphicacy? -- Using Graphics to Communicate Across Cultures -- The Effect of Knowledge-of-External-Representations upon Performance and Representational Choice in a Database Query Task -- User-Controllable Animated Diagrams: The Solution for Learning Dynamic Content? -- Processing Animation: Integrating Information from Animated Diagrams -- A Training Program to be Perceptually Sensitive and Conceptually Productive through Meta-cognition: A Case Study -- Can Object (Instance) Diagrams Help First Year Students Understand Program Behaviour? -- Spatial Transformations in Graph Comprehension -- Constructing Diagrams Representing Group Motions -- Bar-Gain Boxes: An Informative Illustration of the Pairing Problem -- Bayesian Boxes: A Colored Calculator for Picturing Posteriors -- Representing Rosters: Conceptual Integration Counteracts Visual Complexity -- Visualization Techniques for Product Change and Product Modelling in Complex Design -- Geographic Projection of Cluster Composites -- Decision Diagrams in Machine Learning: An Empirical Study on Real-Life Credit-Risk Data -- Feature Diagrams in Phonology -- Using Color Component Overlays for Result Visualization in a Classification by Sketch System -- Teaching Children Brackets by Manipulating Trees: Is Easier Harder? -- Cider: A Component-Based Toolkit for Creating Smart Diagram Environments -- Diagrammatic Spreadsheet: An Overview -- Perceptual Support of Diagram Creation and Editing -- ScanScribe: Perceptually Supported Diagram Image Editing -- An Experimental Comparison of Diagrammatic and Algebraic Logics -- Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition -- Selected Aspects of Customization of Cognitive Dimensions for Evaluation of Visual Modeling Languages -- Notations for Software Engineering Class Structures. 330 $aAlthough diagrammatic representations have been a feature of human communication from early history, recent advances in printing and electronic media technologyhaveintroducedincreasinglysophisticatedvisualrepresentationsinto everyday life. We need to improve our understanding of the role of diagrams and sketches in communication, cognition, creative thought, and problem-solving. These concerns have triggered a surge of interest in the study of diagrammatic notations, especially in academic disciplines dealing with cognition, computation, and communication. We believe that the study of diagrammatic communication is best pursued as an interdisciplinary endeavor. The Diagrams conference series was launched to support an international research community with this common goal. After successful meetings in Edinburgh (2000) and Georgia (2002), Diagrams 2004 was the third event in the series. The Diagrams series attracts a large number of researchers from virtually all academic fields who are studying the nature of diagrammatic representations,their use in human communication, and cognitive or computationalmechanismsforprocessingdiagrams.Bycombiningseveralearlier workshop and symposium series that were held in the US and Europe ? Reasoning with Diagrammatic Representations (DR), US; Thinking with Diagrams (TWD), Europe; and Theory of Visual Languages (TVL), Europe ? Diagrams has emerged as a major international conference on this topic. 410 0$aLecture Notes in Artificial Intelligence ;$v2980 606 $aApplication software 606 $aComputer science 606 $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001 606 $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001 615 0$aApplication software. 615 0$aComputer science. 615 14$aComputer Applications. 615 24$aComputer Science, general. 676 $a006.6 702 $aBlackwell$b Alan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMarriott$b Kim$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aShimojima$b Atsushi$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aDiagrams 2004 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144205703321 996 $aDiagrammatic Representation and Inference$9772658 997 $aUNINA