國立虎尾科技大學 |

Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Diagrammatic Representation and Inference/ edited by Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana.
其他題名:	12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings /
其他作者:	Viana, Petrucio.
面頁冊數:	XXI, 568 p. 280 illus., 98 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical Logic and Formal Languages. -
電子資源:	https://doi.org/10.1007/978-3-030-86062-2
ISBN:	9783030860622

Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings /
Diagrammatic Representation and Inference12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings /[electronic resource] :edited by Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana. - 1st ed. 2021. - XXI, 568 p. 280 illus., 98 illus. in color.online resource. - Lecture Notes in Artificial Intelligence ;12909. - Lecture Notes in Artificial Intelligence ;9285.

Design 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?.

This 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.

ISBN: 9783030860622

Standard No.: 10.1007/978-3-030-86062-2doiSubjects--Topical Terms:

670059
Mathematical Logic and Formal Languages.

LC Class. No.: QA76.9.U83

Dewey Class. No.: 005.437

Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings /
LDR:06540nam a22004335i 4500 001 1049809
003 DE-He213
005 20210902173827.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030860622 $9 978-3-030-86062-2
024 7 $a 10.1007/978-3-030-86062-2 $2 doi
035 $a 978-3-030-86062-2
050 4 $a QA76.9.U83
050 4 $a QA76.9.H85
072 7 $a UYZG $2 bicssc
072 7 $a COM070000 $2 bisacsh
072 7 $a UYZG $2 thema
082 0 4 $a 005.437 $2 23
082 0 4 $a 4.019 $2 23
245 1 0 $a Diagrammatic Representation and Inference $h [electronic resource] : $b 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings / $c edited by Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XXI, 568 p. 280 illus., 98 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Artificial Intelligence ; $v 12909
505 0 $a Design 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?.
520 $a This 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 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Data Structures. $3 669824
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Computer Imaging, Vision, Pattern Recognition and Graphics. $3 671334
650 2 4 $a Mathematics of Computing. $3 669457
650 1 4 $a User Interfaces and Human Computer Interaction. $3 669793
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Data structures (Computer science). $3 680370
650 0 $a Algorithms. $3 527865
650 0 $a Optical data processing. $3 639187
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a User interfaces (Computer systems). $3 1253526
700 1 $a Viana, Petrucio. $e editor. $1 https://orcid.org/0000-0002-3517-6706 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1354022
700 1 $a Manalo, Emmanuel. $e editor. $1 https://orcid.org/0000-0001-6470-4021 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1354021
700 1 $a Legg, Catherine. $e editor. $1 https://orcid.org/0000-0002-0231-5415 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1354020
700 1 $a Linker, Sven. $e editor. $1 https://orcid.org/0000-0003-2913-7943 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1318465
700 1 $a Stapleton, Gem. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 682716
700 1 $a Basu, Amrita. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1354019
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030860615
776 0 8 $i Printed edition: $z 9783030860639
830 0 $a Lecture Notes in Artificial Intelligence ; $v 9285 $3 1253845
856 4 0 $u https://doi.org/10.1007/978-3-030-86062-2
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)