LEADER 08555nam 22007935 450 001 996465413803316 005 20200701075038.0 010 $a3-540-44590-0 024 7 $a10.1007/3-540-44590-0 035 $a(CKB)1000000000211297 035 $a(SSID)ssj0000327206 035 $a(PQKBManifestationID)11231700 035 $a(PQKBTitleCode)TC0000327206 035 $a(PQKBWorkID)10298895 035 $a(PQKB)11139963 035 $a(DE-He213)978-3-540-44590-6 035 $a(MiAaPQ)EBC3072257 035 $a(PPN)155217666 035 $a(EXLCZ)991000000000211297 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheory and Application of Diagrams$b[electronic resource] $eFirst International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings /$fedited by Michael Anderson, Peter Cheng, Volker Haarslev 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (XII, 508 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1889 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-67915-4 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Talks -- Invited Talk: Representations to Mediate Geospatial Collaborative Reasoning: A Cognitive-Semiotic Perspective -- Invited Talk: Jon Barwise: A Heterogeneous Appreciation -- Tutorial 1 - Formal Approaches to Diagrams -- Tutorial 1: Formal Approaches to Visual Language Specification and Understanding -- Tutorial 2 - Cognitive Approach to Diagrams -- Tutorial 2a: Cognitive History of Science: The Roles of Diagrammatic Representations in Discovery and Modeling Discovery -- Tutorial 2b: Cognitive (Production System) Modelling of How an Expert Uses a Cartesian Graph -- Tutorial 2c: The Coordination of External Representations and Internal Mental Representations in Display-Based Cognitive Tasks -- Logic and Diagrams -- Positive Semantics of Projections in Venn-Euler Diagrams -- On the Completeness and Expressiveness of Spider Diagram Systems -- Non-standard Logics for Diagram Interpretation -- Reviving the Iconicity of Beta Graphs -- Constraint Matching for Diagram Design: Qualitative Visual Languages -- Picking Knots from Trees -- Theoretical Concerns about Diagrams -- Differentiating Diagrams: A New Approach -- Logical Systems and Formality -- Distinctions with Differences: Comparing Criteria for Distinguishing Diagrammatic from Sentential Systems -- Cognition and Diagrams -- How People Extract Information from Graphs: Evidence from a Sentence-Graph Verification Paradigm -- Restricted Focus Viewer: A Tool for Tracking Visual Attention -- Communicating Dynamic Behaviors: Are Interactive Multimedia Presentations Better than Static Mixed-Mode Presentations? -- Capacity Limits in Diagrammatic Reasoning -- Human Communication with Diagrams -- Recording the Future: Some Diagrammatic Aspects of Time Management -- Lines, Blobs, Crosses and Arrows: Diagrammatic Communication with Schematic Figures -- Animated Diagrams: An Investigation into the Cognitive Effects of Using Animation to Illustrate Dynamic Processes -- A Comparison of Graphics and Speech in a Task-Oriented Interaction -- Diagramming Aesthetics: Modernism and Architecture in the 21st Century -- Diagrammatic Reasoning/Proof Systems -- JVenn: A Visual Reasoning System with Diagrams and Sentences -- A Proposal for Automating Diagrammatic Reasoning in Continuous Domains -- Playing with Diagrams -- The Use of Intermediate Graphical Constructions in Problem Solving with Dynamic, Pixel-Level Diagrams -- Diagrams for Systems, Systems for Diagrams -- Treatment of Diagrams in Document Image Analysis -- Universal Arrow Foundations for Visual Modeling -- Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language -- Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software -- Executing Diagram Sequences -- MetaBuilder: The Diagrammer?s Diagrammer -- Diagrammatic Control of Diagrammatic Structure Generation -- Two-Dimensional Positioning as Visual Thinking -- Reordering the Reorderable Matrix as an Algorithmic Problem -- Posters -- Clouds: A Module for Automatic Learning of Concept Maps -- A Diagrammatic Notation for Interval Algebra -- Animation of Diagrams: An Aid to Learning? -- Diagrams as Components of Multimedia Discourse: A Semiotic Approach -- Formalising the Essence of Diagrammatic Syntax -- Using Grids in Maps -- Case Analysis in Euclidean Geometry: An Overview -- Bar Charts Recognition Using Hough Based Syntactic Segmentation -- Experimenting with Aesthetics-Based Graph Layout. 330 $aDiagrams 2000 is dedicated to the memory of Jon Barwise. Diagrams 2000 was the ?rst event in a new interdisciplinary conference series on the Theory and Application of Diagrams. It was held at the University of Edinburgh, Scotland, September 1-3, 2000. Driven by the pervasiveness of diagrams in human communication and by the increasing availability of graphical environments in computerized work, the study of diagrammatic notations is emerging as a research ?eld in its own right. This development has simultaneously taken place in several scienti?c disciplines, including, amongst others: cognitive science, arti?cial intelligence, and computer science. Consequently, a number of di?erent workshop series on this topic have been successfully organized during the last few years: Thinking with Diagrams, Theory of Visual Languages, Reasoning with Diagrammatic Representations, and Formalizing Reasoning with Visual and Diagrammatic Representations. Diagrams are simultaneously complex cognitive phenonema and sophis- cated computational artifacts. So, to be successful and relevant the study of diagrams must as a whole be interdisciplinary in nature. Thus, the workshop series mentioned above decided to merge into Diagrams 2000, as the single - terdisciplinary conference for this exciting new ?eld. It is intended that Diagrams 2000 should become the premier international conference series in this area and provide a forum with su?cient breadth of scope to encompass researchers from all academic areas who are studying the nature of diagrammatic representations and their use by humans and in machines. 410 0$aLecture Notes in Artificial Intelligence ;$v1889 606 $aArtificial intelligence 606 $aComputers 606 $aSoftware engineering 606 $aComputer programming 606 $aComputer science?Mathematics 606 $aUser interfaces (Computer systems) 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputer science?Mathematics. 615 0$aUser interfaces (Computer systems). 615 14$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Techniques. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aUser Interfaces and Human Computer Interaction. 676 $a006.6 702 $aAnderson$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCheng$b Peter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHaarslev$b Volker$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aDiagrams 2000 906 $aBOOK 912 $a996465413803316 996 $aTheory and Application of Diagrams$92161274 997 $aUNISA