Diagrammatic Representation and Inference
Diagrammatic Representation and Inference
14th International Conference, Diagrams 2024, Muenster, Germany, September 27 - October 1, 2024, Proceedings
Bhattacharjee, Reetu; Lemanski, Jens; Johansen, Mikkel Willum; Burns, Richard; Manalo, Emmanuel; Viana, Petrucio
Springer International Publishing AG
09/2024
492
Mole
9783031712906
15 a 20 dias
.- 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.
.- 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.