000 07610nam a22007095i 4500
001 978-3-031-71291-3
003 DE-He213
005 20251030112946.0
007 cr nn 008mamaa
008 240909s2024 sz | s |||| 0|eng d
020 _a9783031712913
_9978-3-031-71291-3
024 7 _a10.1007/978-3-031-71291-3
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
245 1 0 _aDiagrammatic Representation and Inference
_h[electronic resource] :
_b14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings /
_cedited by Jens Lemanski, Mikkel Willum Johansen, Emmanuel Manalo, Petrucio Viana, Reetu Bhattacharjee, Richard Burns.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXV, 492 p. 272 illus., 107 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 ;
_v14981
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 _aThis book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Mü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 _aArtificial intelligence.
_958441
650 0 _aUser interfaces (Computer systems).
_964688
650 0 _aHuman-computer interaction.
_964854
650 0 _aData structures (Computer science).
_966708
650 0 _aInformation theory.
_957783
650 0 _aComputer programming.
650 0 _aCompilers (Computer programs).
_966172
650 0 _aComputer science.
_958552
650 1 4 _aArtificial Intelligence.
_958441
650 2 4 _aUser Interfaces and Human Computer Interaction.
_966577
650 2 4 _aData Structures and Information Theory.
_966709
650 2 4 _aProgramming Techniques.
_965517
650 2 4 _aCompilers and Interpreters.
_966173
650 2 4 _aTheory of Computation.
_967552
700 1 _aLemanski, Jens.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983950
700 1 _aJohansen, Mikkel Willum.
_eeditor.
_0(orcid)0000-0003-0454-2678
_1https://orcid.org/0000-0003-0454-2678
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983951
700 1 _aManalo, Emmanuel.
_eeditor.
_0(orcid)0000-0001-6470-4021
_1https://orcid.org/0000-0001-6470-4021
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983952
700 1 _aViana, Petrucio.
_eeditor.
_0(orcid)0000-0002-3517-6706
_1https://orcid.org/0000-0002-3517-6706
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983953
700 1 _aBhattacharjee, Reetu.
_eeditor.
_0(orcid)0000-0003-0720-4973
_1https://orcid.org/0000-0003-0720-4973
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983954
700 1 _aBurns, Richard.
_eeditor.
_0(orcid)0000-0002-3961-438X
_1https://orcid.org/0000-0002-3961-438X
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983955
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031712906
776 0 8 _iPrinted edition:
_z9783031712920
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v14981
856 4 0 _uhttps://doi.org/10.1007/978-3-031-71291-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
999 _c63213
_d63213