LEADER 07854nam 22007335 450 001 996418321603316 005 20211203180856.0 010 $a3-030-54249-1 024 7 $a10.1007/978-3-030-54249-8 035 $a(CKB)4100000011389927 035 $a(DE-He213)978-3-030-54249-8 035 $a(MiAaPQ)EBC6307452 035 $a(PPN)254488919 035 $a(EXLCZ)994100000011389927 100 $a20200728h20202020 uy 0 101 0 $aeng 135 $aurnn#---mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDiagrammatic representation and inference $e11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings /$fAhti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James Corter, Sven Linker, (eds.) 210 1$aCham :$cSpringer,$d[2020] 210 4$dİ2020 215 $a1 online resource (xiii, 554 pages) $cillustrations 225 1 $aLecture Notes in Artificial Intelligence,$x1611-3349 ;$v12169 311 1 $a3-030-54248-3 320 $aIncludes bibliographical references and index. 327 $aDiagrams in Mathematics -- On "overspecification" in medieval mathematical diagrams -- Transductive Reconstruction of Hippocrates' Dynamical Geometrical Diagrams -- Counting mathematical diagrams with machine learning -- Modes of continuity in diagram\\ Intermediate Value Theorem -- Modes of diagrammatic reasoning in Euclid's Elements -- A Mentalist Look at Gaussian Clock Arithmetic -- A Diagram of Choice: The Curious Case of Wallis's Attempted Proof of the Parallel Postulate and the Axiom of Choice -- Diagram Design, Principles, and Classfication -- A sketch of a theory and modelling notation for elucidating the structure of representations -- Modality and Uncertainty in Data Visualizations: A Corpus Approach to the Use of Connecting Lines -- Channel-Theoretic Account of the Semantic Potentials of False Diagrams -- Dissecting representations -- Towards Data-Driven Multilinear Metro Maps -- Visualizing Sound, Hearing Diagrams: On the Creative Process of Syrmos by Iannis Xenakis -- String Diagrams for Assembly Planning -- Reasoning with Diagrams -- An Alternative Reformulation of the Transformation Rules in the Beta Part of Peirce's Existential Graphs -- Observational Advantages and Occurrence Referentiality -- The Diagram Puzzle -- The Blot -- Two Implications and Dual-Process Theories of Reasoning -- Euler and Venn Diagrams -- Well-matchedness in Euler and Linear Diagrams -- Intuitionistic Euler-Venn Diagrams -- Schopenhauer Diagrams for Conceptual Analysis -- Euler diagrams for defeasible reasoning -- Empirical Studies and Cognition -- Event unit analysis: A methodology for anticipating processing demands of complex animated diagrams -- Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and Graphs -- Visual causality: investigating the performance of graph layouts for understanding causal processes -- Influence of Shape, Density, and Edge Crossings on the Perception of Graph Differences -- Map or Gantt? Which diagram helps viewers best in spatio-temporal data exploration tasks? -- On effects of changing multi-attribute table design to decision making: An eye tracking study -- Logic and Diagrams -- Using Multigraphs to Study the Interaction between Opposition, Implication and Duality Relations in Logical Squares -- Opposition relations between prophecies -- Compositional Diagrammatic First-Order Logic -- Free Rides in Logical Space diagrams versus Aristotelian diagrams -- Fregean Logical Graphs -- Calculus CL as a Formal System -- Truth Graph: A Novel Method for Minimizing Boolean Algebra Expressions by Using Graphs -- Posters -- Syllogisms with intermediate quantifiers solved in Marlo logic diagrams -- The Indemonstrables of Chrysippus of Soli in Marlo logical diagrams. Could propositional calculus be nothing but syllogisms? -- `Tokenized' dynamic diagrams: An approach for improving mental model construction? -- Depicting negative information in photographs, videos, and comics: a preliminary analysis -- The Marlo diagram in the classroom -- Strength of Existential Graphs as a logical system -- The Sung Diagram: Revitalizing the Eisenhower Matrix -- Marlo's networks of expectations in the classroom: A tool for heterogeneous reasoning -- Experimenting with diagrams in mathematics -- Historio-graphy -- A Semiotic-Conceptual Analysis of Euler Diagrams and Concept Lattices -- On the shoulders of giants: Colourful argument trees for academic writing -- Beta Assertive Graphs -- Peirce's inclusion diagrams, with application to syllogisms -- The DNA Framework of Visualization -- Imagine a round square -- Visualizing Curricula -- Elucidating the Effects of Diagram Use Training for Math Word Problem Solving. 330 $aThis book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, Diagrams 2020, held in Tallinn, Estonia, in August 2020.* The 20 full papers and 16 short papers presented together with 18 posters were carefully reviewed and selected from 82 submissions. The papers are organized in the following topical sections: diagrams in mathematics; diagram design, principles, and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; logic and diagrams; and posters. *The conference was held virtually due to the COVID-19 pandemic. The chapters ?Modality and Uncertainty in Data Visualization: A Corpus Approach to the Use of Connecting Lines,? ?On Effects of Changing Multi-Attribute Table Design on Decision Making: An Eye Tracking Study,? ?Truth Graph: A Novel Method for Minimizing Boolean Algebra Expressions by Using Graphs,? ?The DNA Framework of Visualization? and ?Visualizing Curricula? are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v12169. 606 $aUser interfaces (Computer systems) 606 $aArtificial intelligence 606 $aOptical data processing 606 $aSoftware engineering 606 $aMathematical logic 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 Imaging, Vision, Pattern Recognition and Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22005 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aUser interfaces (Computer systems). 615 0$aArtificial intelligence. 615 0$aOptical data processing. 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 14$aUser Interfaces and Human Computer Interaction. 615 24$aArtificial Intelligence. 615 24$aComputer Imaging, Vision, Pattern Recognition and Graphics. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 676 $a006.6 702 $aPietarinen$b Ahti-Veikko 702 $aChapman$b Peter 702 $aBosveld-de Smet$b Leonie$f1956- 702 $aGiardino$b Valeria 702 $aCorter$b James 702 $aLinker$b Sven 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418321603316 996 $aDiagrammatic Representation and Inference$9772658 997 $aUNISA