000 08139nam a22007335i 4500
001 978-3-030-86062-2
003 DE-He213
005 20240730174634.0
007 cr nn 008mamaa
008 210902s2021 sz | s |||| 0|eng d
020 _a9783030860622
_9978-3-030-86062-2
024 7 _a10.1007/978-3-030-86062-2
_2doi
050 4 _aQA76.9.U83
050 4 _aQA76.9.H85
072 7 _aUYZ
_2bicssc
072 7 _aCOM079010
_2bisacsh
072 7 _aUYZ
_2thema
082 0 4 _a005.437
_223
082 0 4 _a004.019
_223
245 1 0 _aDiagrammatic Representation and Inference
_h[electronic resource] :
_b12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings /
_cedited by Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana.
250 _a1st ed. 2021.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2021.
300 _aXXI, 568 p. 280 illus., 98 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v12909
505 0 _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 transformationfor 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?.
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.
650 0 _aUser interfaces (Computer systems).
_911681
650 0 _aHuman-computer interaction.
_96196
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aImage processing
_xDigital techniques.
_94145
650 0 _aComputer vision.
_9113364
650 0 _aAlgorithms.
_93390
650 0 _aData structures (Computer science).
_98188
650 0 _aInformation theory.
_914256
650 0 _aMachine theory.
_9113365
650 1 4 _aUser Interfaces and Human Computer Interaction.
_931632
650 2 4 _aMathematics of Computing.
_931875
650 2 4 _aComputer Imaging, Vision, Pattern Recognition and Graphics.
_931569
650 2 4 _aDesign and Analysis of Algorithms.
_931835
650 2 4 _aData Structures and Information Theory.
_931923
650 2 4 _aFormal Languages and Automata Theory.
_9113366
700 1 _aBasu, Amrita.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9113367
700 1 _aStapleton, Gem.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9113368
700 1 _aLinker, Sven.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9113369
700 1 _aLegg, Catherine.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9113370
700 1 _aManalo, Emmanuel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9113371
700 1 _aViana, Petrucio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9113372
710 2 _aSpringerLink (Online service)
_9113373
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030860615
776 0 8 _iPrinted edition:
_z9783030860639
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v12909
_9113374
856 4 0 _uhttps://doi.org/10.1007/978-3-030-86062-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89537
_d89537