001439828 000__ 07818cam\a2200721\i\4500 001439828 001__ 1439828 001439828 003__ OCoLC 001439828 005__ 20230309004524.0 001439828 006__ m\\\\\o\\d\\\\\\\\ 001439828 007__ cr\un\nnnunnun 001439828 008__ 210923s2021\\\\sz\a\\\\o\\\\\101\0\eng\d 001439828 020__ $$a9783030860622$$q(electronic bk.) 001439828 020__ $$a3030860620$$q(electronic bk.) 001439828 020__ $$z9783030860615 001439828 020__ $$z3030860612 001439828 0247_ $$a10.1007/978-3-030-86062-2$$2doi 001439828 035__ $$aSP(OCoLC)1268983805 001439828 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dOCLCO$$dEBLCP$$dOCLCF$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ 001439828 049__ $$aISEA 001439828 050_4 $$aQA90$$b.D53 2021 001439828 08204 $$a006.6$$223 001439828 1112_ $$aDiagrams (Conference)$$n(12th :$$d2021 :$$cOnline) 001439828 24510 $$aDiagrammatic representation and inference :$$b12th international conference, Diagrams 2021 : virtual, September 28-30, 2021 : proceedings /$$cAmrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana (eds.). 001439828 24630 $$aDiagrams 2021 001439828 264_1 $$aCham :$$bSpringer,$$c[2021] 001439828 264_4 $$c©2021 001439828 300__ $$a1 online resource :$$billustrations (some color) 001439828 336__ $$atext$$btxt$$2rdacontent 001439828 337__ $$acomputer$$bc$$2rdamedia 001439828 338__ $$aonline resource$$bcr$$2rdacarrier 001439828 4901_ $$aLecture notes in computer science. Lecture notes in artificial intelligence ;$$v12909 001439828 4901_ $$aLNCS sublibrary: SL7 - Artificial intelligence 001439828 500__ $$aInternational conference proceedings. 001439828 500__ $$aIncludes author index. 001439828 5050_ $$aDesign of Concrete Diagrams -- Aesthetics and Ordering in Stacked Area Charts -- Interactive, Orthogonal Hyperedge Routing in Schematic Diagrams Assisted by Layout Automatisms -- Evidence of Chunking in A Simple Drawing Task -- Theory of Diagrams -- Considerations in Representation Selection for Problem Solving: a Review -- Diagrams as part of Physical Theories: A Representational Conception -- Diagrams and Mathematics -- Beyond counting: Measuring diagram intensity in mathematical research papers -- On the relationship between geometric objects and figures in Euclidean geometry -- What Diagrams Are Considered Useful for Solving Mathematical Word Problems in Japan? -- Diagrams and Logic -- The search for symmetry in Hohfeldian modalities -- Wittgenstein's Picture-Investigations -- What kind of opposition-forming operator is privation? -- Presenting Basic Graph Logic -- Schopenhauer's Partition Diagrams and Logical Geometry -- Revisiting Peirce's rules of transformation for Euler-Venn diagrams -- Tractarian Notations -- Equivalence proof for intuitionistic existential Alpha graphs -- Aaron Schuyler: the missing link between Euler and Venn diagrams? -- Validity as choiceless unification -- Truth Tables without Truth Values: On 4.27 and 4.42 of Wittgenstein's Tractatus -- Combining and relating Aristotelian diagrams -- Residuation in Peirce's Existential Graphs -- On identity in Peirce's Beta Graphs -- Peirce's Diagrammatic Solutions to 'Peirce's Puzzle' -- What are rules for? A Carroll-Peirce comparison -- A Diagrammatic Representation of Hegel's Science of Logic -- Jin Yuelin's Simplification of Venn Diagrams -- Venn Diagrams with "Most": A Natural Logic Approach -- New Representation Systems -- New Representations of Modal Functions -- Diagramming Incomplete and Imprecise Temporal Information -- Comics and Diagrams: An Introductory Overview -- Analysis of Diagrams -- Image Schemas in Diagrammatic Reasoning: the Case of Hasse Diagrams -- Through the eyes of an archeologist: studying the role of prior knowledge in learning with diagrams -- The fall and rise of resemblance diagrams -- The Science of Seeing Science: Examining the Visuality Hypothesis -- Can humans and machines classify photographs as depicting negation? -- The Presence of Diagrams and Problems Requiring Diagram Construction: Comparing Mathematical Word Problems in Japanese and Canadian Textbooks -- Diagrams and Computation -- Extracting Interactive Actor-Based Data ow Models from Legacy C Code -- Visualising Lattices with Tabular Diagrams -- Understanding scholarly neural network system diagrams through application of VisDNA -- A universal grammar for parsing visualization types { using visually enforced combination rules -- Visualizing Program State as a Clustered Graph for Learning Programming -- Dynamic Flowcharts for Enhancing Learners' Understanding of the Control Flow during Programming Learning -- Cognitive Analysis -- Cognitive Properties of Representations: A Framework -- Intentional Diagram Design: Using Gestalt Perceptual Grouping in Cladograms to Tackle Students' Misconceptions -- Cognitive Style's Effects on User Task Performance in Network Visualisations -- Concentrating Competency Pro le Data Into Cognitive Map of Knowledge Diagnosis -- Diagrams as Structural Tools -- Interactivity in Linear Diagrams -- Diagrammatic Representations of Uncertainty in Meteorological Forecasting -- Structuralist analysis for neural network system diagrams -- Modeling Multimodal Interactions and Feedback for Embodied Geovisualization -- Formal Diagrams -- On the Cognitive Potential of Derivative Meaning in Aristotelian Diagrams -- Number and quality of diagrams in scholarly publications is associated with number of citations -- How can numerals be iconic? More varieties of iconicity -- Natural Deduction for Intuitionistic Euler-Venn Diagrams -- Understanding Thought Processes -- Observing Strategies of Drawing Data Representations -- Diagrams in Essays: Exploring the Kinds of Diagrams Students Generate and How Well They Work -- How can we statistically analyze the achievement of diagrammatic literacy from high school regular tests? 001439828 506__ $$aAccess limited to authorized users. 001439828 520__ $$aThis book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Diagrams, Diagrams 2021, held virtually in September 2021. The 16 full papers and 25 short papers presented together with 16 posters were carefully reviewed and selected from 94 submissions. The papers are organized in the following topical sections: design of concrete diagrams; theory of diagrams; diagrams and mathematics; diagrams and logic; new representation systems; analysis of diagrams; diagrams and computation; cognitive analysis; diagrams as structural tools; formal diagrams; and understanding thought processes. 10 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. 001439828 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 30, 2021). 001439828 650_0 $$aGraphic methods$$vCongresses. 001439828 650_0 $$aVisual communication$$vCongresses. 001439828 650_0 $$aComputer graphics$$vCongresses. 001439828 650_6 $$aMéthodes graphiques$$vCongrès. 001439828 650_6 $$aCommunication visuelle$$vCongrès. 001439828 650_6 $$aInfographie$$vCongrès. 001439828 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772 001439828 655_7 $$aConference papers and proceedings.$$2lcgft 001439828 655_7 $$aActes de congrès.$$2rvmgf 001439828 655_0 $$aElectronic books. 001439828 7001_ $$aBasu, Amrita,$$eeditor. 001439828 7001_ $$aStapleton, Gem,$$eeditor. 001439828 7001_ $$aLinker, Sven,$$eeditor. 001439828 7001_ $$aLegg, Catherine,$$eeditor. 001439828 7001_ $$aManalo, Emmanuel,$$eeditor. 001439828 7001_ $$aViana, Petrucio,$$eeditor. 001439828 830_0 $$aLecture notes in computer science ;$$v12909. 001439828 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence. 001439828 830_0 $$aLNCS sublibrary.$$nSL 7,$$pArtificial intelligence. 001439828 852__ $$bebk 001439828 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-86062-2$$zOnline Access$$91397441.1 001439828 909CO $$ooai:library.usi.edu:1439828$$pGLOBAL_SET 001439828 980__ $$aBIB 001439828 980__ $$aEBOOK 001439828 982__ $$aEbook 001439828 983__ $$aOnline 001439828 994__ $$a92$$bISE