東華大學圖書館 |

Diagrammatic representation and inference = 14th International Conference, Diagrams 2024, Münster, Germany, September 27-October 1, 2024 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Diagrammatic representation and inference/ edited by Jens Lemanski ... [et al.].
其他題名:	14th International Conference, Diagrams 2024, Münster, Germany, September 27-October 1, 2024 : proceedings /
其他題名:	Diagrams 2024
其他作者:	Lemanski, Jens.
團體作者:	Diagrams (Conference)
出版者:	Cham :Springer Nature Switzerland : : 2024.,
面頁冊數:	xiv, 492 p. :ill. (some col.), digital ;24 cm.
內容註:	Keynote Talks. -- How can we make trustworthy AI?. -- A dialogical account of diagrams in mathematical proofs. -- Where Diagrams Come From. -- Analysis of Diagrams. -- Diagrams and their role in economics as problem-solving devices and knowledge-improving tools. The case of the Phillip Machine. -- Why Feynman Diagrams Are Worth 10,000 formulas: A Representational Epistemic Analysis. -- 12 questions, 19 visual encoding techniques, and 101 types of visualization - each described by a systematically generated sentence. -- Domain-Specific Rules Override Aesthetic Graph Drawing Criteria: An Exploration of User-Generated Diagrams. -- Generating Qualitative Descriptions of Diagrams with a Transformer-based Language Model. -- Diagram Control and Model Order for Sugiyama Layouts. -- B42: the Geometry of 4-Valued Contradiction. -- A Way Diagrams Explain: Analysis Based on Consequence Matching. -- Euler Diagrams, Aristotelian Diagrams and Syllogistics. -- What Does it Mean that Diagrams Represent Constructions?. -- The Topology of Assertion: A Diagrammatic Rationale for Our Enduring Love of Truth. -- Schopenhauer's Sorites Diagram. -- Category Theory for Aristotelian Diagrams: The Debate on Singular Propositions. -- Euler and Venn Diagrams. -- Rectangular Euler Diagrams and Order Theory. -- Reference by Occurrence. -- EulerMerge: Simplifying Euler Diagrams Through Set Merges. -- Representing uncertainty with expanded Ueberweg diagrams. -- Indeterminate set space diagrams. -- Can Euler Diagrams Improve Syllogistic Reasoning in Large Language Models?. -- Diagrams in Logic. -- Mozi's Square of Opposition and Logemes as New Logical Approach. -- Implicational Existential Graphs. -- Aristotelian Diagrams as Logic Diagrams. -- Sentence Negation and Term Negation as Syntactic Operations in Diagram Logic. -- Playing Games with Diagrams: Truth Diagrams and Game Semantics. -- Peirce's extended Euler diagrams and the system Atl based on Ladd-Franklin's exclusion relations. -- Diagrams and Applications. -- Anxiety Moderates the Effects of Drawing Support on Drawing Accuracy in Mathematical Modeling. -- Learning magnitude of energy consumption with symbolic or iconic representations. -- Designing a Mind-Mapping-Assisted Comparative Literature Course in Chinese Academic Settings. -- Integration of Learning Through the Use of Self-Constructed Diagrams: Opportunities and Challenges. -- Chinese Children' Drawing in Science Class. -- Diagram Tools. -- Hoop Diagrams: A Set Visualization Method. -- Building a large dataset of human-generated captions for science diagrams. -- KIELER: A Text-First Framework for Automatic Diagramming of Complex Systems. -- Historical Aspects of Diagrams. -- Drawing Technology: Sketches of Isambard Kingdom Brunel. -- On the Expressivity of Byzantine Diagrams in Logic. -- Posters. -- An Innovative Approach to Diagrams Representation: The Marlo Diagrams Web Page. -- Codifying Visual Representations. -- A diagram helping the mathematical problem solving procedure. -- Collaborative Graph-Document Composition Is Easy and Enhances Critical-Thinking Skills without Extra Cost. -- An eye-tracking study on the effects of using highlighted multi-attribute tables: A preliminary report. -- Spoiled Games: Mimesis & Phenomenology. -- The Region Connection Calculus, Euler Diagrams and Aristotelian Diagrams. -- Between pro/con-lists and argument graphs: Finding the right level of complexity in argumentation representation. -- Diagrammatic analogical reasoning.
Contained By:	Springer Nature eBook
標題:	Graphic methods - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-71291-3
ISBN:	9783031712913

Diagrammatic representation and inference = 14th International Conference, Diagrams 2024, Münster, Germany, September 27-October 1, 2024 : proceedings /
Diagrammatic representation and inference14th International Conference, Diagrams 2024, Münster, Germany, September 27-October 1, 2024 : proceedings /[electronic resource] :Diagrams 2024edited by Jens Lemanski ... [et al.]. - Cham :Springer Nature Switzerland :2024. - xiv, 492 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,149810302-9743 ;. - Lecture notes in computer science,14981..

Keynote Talks. -- How can we make trustworthy AI?. -- A dialogical account of diagrams in mathematical proofs. -- Where Diagrams Come From. -- Analysis of Diagrams. -- Diagrams and their role in economics as problem-solving devices and knowledge-improving tools. The case of the Phillip Machine. -- Why Feynman Diagrams Are Worth 10,000 formulas: A Representational Epistemic Analysis. -- 12 questions, 19 visual encoding techniques, and 101 types of visualization - each described by a systematically generated sentence. -- Domain-Specific Rules Override Aesthetic Graph Drawing Criteria: An Exploration of User-Generated Diagrams. -- Generating Qualitative Descriptions of Diagrams with a Transformer-based Language Model. -- Diagram Control and Model Order for Sugiyama Layouts. -- B42: the Geometry of 4-Valued Contradiction. -- A Way Diagrams Explain: Analysis Based on Consequence Matching. -- Euler Diagrams, Aristotelian Diagrams and Syllogistics. -- What Does it Mean that Diagrams Represent Constructions?. -- The Topology of Assertion: A Diagrammatic Rationale for Our Enduring Love of Truth. -- Schopenhauer's Sorites Diagram. -- Category Theory for Aristotelian Diagrams: The Debate on Singular Propositions. -- Euler and Venn Diagrams. -- Rectangular Euler Diagrams and Order Theory. -- Reference by Occurrence. -- EulerMerge: Simplifying Euler Diagrams Through Set Merges. -- Representing uncertainty with expanded Ueberweg diagrams. -- Indeterminate set space diagrams. -- Can Euler Diagrams Improve Syllogistic Reasoning in Large Language Models?. -- Diagrams in Logic. -- Mozi's Square of Opposition and Logemes as New Logical Approach. -- Implicational Existential Graphs. -- Aristotelian Diagrams as Logic Diagrams. -- Sentence Negation and Term Negation as Syntactic Operations in Diagram Logic. -- Playing Games with Diagrams: Truth Diagrams and Game Semantics. -- Peirce's extended Euler diagrams and the system Atl based on Ladd-Franklin's exclusion relations. -- Diagrams and Applications. -- Anxiety Moderates the Effects of Drawing Support on Drawing Accuracy in Mathematical Modeling. -- Learning magnitude of energy consumption with symbolic or iconic representations. -- Designing a Mind-Mapping-Assisted Comparative Literature Course in Chinese Academic Settings. -- Integration of Learning Through the Use of Self-Constructed Diagrams: Opportunities and Challenges. -- Chinese Children' Drawing in Science Class. -- Diagram Tools. -- Hoop Diagrams: A Set Visualization Method. -- Building a large dataset of human-generated captions for science diagrams. -- KIELER: A Text-First Framework for Automatic Diagramming of Complex Systems. -- Historical Aspects of Diagrams. -- Drawing Technology: Sketches of Isambard Kingdom Brunel. -- On the Expressivity of Byzantine Diagrams in Logic. -- Posters. -- An Innovative Approach to Diagrams Representation: The Marlo Diagrams Web Page. -- Codifying Visual Representations. -- A diagram helping the mathematical problem solving procedure. -- Collaborative Graph-Document Composition Is Easy and Enhances Critical-Thinking Skills without Extra Cost. -- An eye-tracking study on the effects of using highlighted multi-attribute tables: A preliminary report. -- Spoiled Games: Mimesis & Phenomenology. -- The Region Connection Calculus, Euler Diagrams and Aristotelian Diagrams. -- Between pro/con-lists and argument graphs: Finding the right level of complexity in argumentation representation. -- Diagrammatic analogical reasoning.

This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27-October 1, 2024. The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: Keynote Talks; Analysis of Diagrams; Euler and Venn Diagrams; Diagrams in Logic; Diagrams and Applications; Diagram Tools; Historical Aspects of Diagrams; and Posters.

ISBN: 9783031712913

Standard No.: 10.1007/978-3-031-71291-3doiSubjects--Topical Terms:

840507
Graphic methods
--Congresses.

LC Class. No.: QA90

Dewey Class. No.: 006.6

Diagrammatic representation and inference = 14th International Conference, Diagrams 2024, Münster, Germany, September 27-October 1, 2024 : proceedings /
LDR:05319nmm a2200361 a 4500 001 2374881
003 DE-He213
005 20240909131036.0
006 m d
007 cr nn 008maaau
008 241231s2024 sz s 0 eng d
020 $a 9783031712913 $q (electronic bk.)
020 $a 9783031712906 $q (paper)
024 7 $a 10.1007/978-3-031-71291-3 $2 doi
035 $a 978-3-031-71291-3
040 $a GP $c GP
041 0 $a eng
050 4 $a QA90
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.6 $2 23
090 $a QA90 $b .D536 2024
111 2 $a Diagrams (Conference) $n (14th : $d 2024 : $c Münster, Germany) $3 3723968
245 1 0 $a Diagrammatic representation and inference $h [electronic resource] : $b 14th International Conference, Diagrams 2024, Münster, Germany, September 27-October 1, 2024 : proceedings / $c edited by Jens Lemanski ... [et al.].
246 3 $a Diagrams 2024
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
300 $a xiv, 492 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14981
490 1 $a Lecture notes in artificial intelligence
505 0 $a Keynote Talks. -- How can we make trustworthy AI?. -- A dialogical account of diagrams in mathematical proofs. -- Where Diagrams Come From. -- Analysis of Diagrams. -- Diagrams and their role in economics as problem-solving devices and knowledge-improving tools. The case of the Phillip Machine. -- Why Feynman Diagrams Are Worth 10,000 formulas: A Representational Epistemic Analysis. -- 12 questions, 19 visual encoding techniques, and 101 types of visualization - each described by a systematically generated sentence. -- Domain-Specific Rules Override Aesthetic Graph Drawing Criteria: An Exploration of User-Generated Diagrams. -- Generating Qualitative Descriptions of Diagrams with a Transformer-based Language Model. -- Diagram Control and Model Order for Sugiyama Layouts. -- B42: the Geometry of 4-Valued Contradiction. -- A Way Diagrams Explain: Analysis Based on Consequence Matching. -- Euler Diagrams, Aristotelian Diagrams and Syllogistics. -- What Does it Mean that Diagrams Represent Constructions?. -- The Topology of Assertion: A Diagrammatic Rationale for Our Enduring Love of Truth. -- Schopenhauer's Sorites Diagram. -- Category Theory for Aristotelian Diagrams: The Debate on Singular Propositions. -- Euler and Venn Diagrams. -- Rectangular Euler Diagrams and Order Theory. -- Reference by Occurrence. -- EulerMerge: Simplifying Euler Diagrams Through Set Merges. -- Representing uncertainty with expanded Ueberweg diagrams. -- Indeterminate set space diagrams. -- Can Euler Diagrams Improve Syllogistic Reasoning in Large Language Models?. -- Diagrams in Logic. -- Mozi's Square of Opposition and Logemes as New Logical Approach. -- Implicational Existential Graphs. -- Aristotelian Diagrams as Logic Diagrams. -- Sentence Negation and Term Negation as Syntactic Operations in Diagram Logic. -- Playing Games with Diagrams: Truth Diagrams and Game Semantics. -- Peirce's extended Euler diagrams and the system Atl based on Ladd-Franklin's exclusion relations. -- Diagrams and Applications. -- Anxiety Moderates the Effects of Drawing Support on Drawing Accuracy in Mathematical Modeling. -- Learning magnitude of energy consumption with symbolic or iconic representations. -- Designing a Mind-Mapping-Assisted Comparative Literature Course in Chinese Academic Settings. -- Integration of Learning Through the Use of Self-Constructed Diagrams: Opportunities and Challenges. -- Chinese Children' Drawing in Science Class. -- Diagram Tools. -- Hoop Diagrams: A Set Visualization Method. -- Building a large dataset of human-generated captions for science diagrams. -- KIELER: A Text-First Framework for Automatic Diagramming of Complex Systems. -- Historical Aspects of Diagrams. -- Drawing Technology: Sketches of Isambard Kingdom Brunel. -- On the Expressivity of Byzantine Diagrams in Logic. -- Posters. -- An Innovative Approach to Diagrams Representation: The Marlo Diagrams Web Page. -- Codifying Visual Representations. -- A diagram helping the mathematical problem solving procedure. -- Collaborative Graph-Document Composition Is Easy and Enhances Critical-Thinking Skills without Extra Cost. -- An eye-tracking study on the effects of using highlighted multi-attribute tables: A preliminary report. -- Spoiled Games: Mimesis & Phenomenology. -- The Region Connection Calculus, Euler Diagrams and Aristotelian Diagrams. -- Between pro/con-lists and argument graphs: Finding the right level of complexity in argumentation representation. -- Diagrammatic analogical reasoning.
520 $a This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27-October 1, 2024. The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: Keynote Talks; Analysis of Diagrams; Euler and Venn Diagrams; Diagrams in Logic; Diagrams and Applications; Diagram Tools; Historical Aspects of Diagrams; and Posters.
650 0 $a Graphic methods $v Congresses. $3 840507
650 0 $a Visual communication $v Congresses. $3 840508
650 1 4 $a Artificial Intelligence. $3 769149
650 2 4 $a User Interfaces and Human Computer Interaction. $3 892554
650 2 4 $a Data Structures and Information Theory. $3 3382368
650 2 4 $a Programming Techniques. $3 892496
650 2 4 $a Compilers and Interpreters. $3 3592044
650 2 4 $a Theory of Computation. $3 892514
700 1 $a Lemanski, Jens. $3 3459359
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 14981. $3 3723969
830 0 $a Lecture notes in artificial intelligence. $3 3382562
856 4 0 $u https://doi.org/10.1007/978-3-031-71291-3
950 $a Computer Science (SpringerNature-11645)