Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Diagrammatic representation and inference : 12th international conference, Diagrams 2021, virtual, September 28-30, 2021, proceedings / / edited by Amrita Basu [and five others]
| Diagrammatic representation and inference : 12th international conference, Diagrams 2021, virtual, September 28-30, 2021, proceedings / / edited by Amrita Basu [and five others] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (570 pages) |
| Disciplina | 006.6 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Graphic methods
Visual communication |
| ISBN | 3-030-86062-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Abstracts of Keynotes -- A Philosophical View of Fundamental Properties of Diagrams -- Why and How Should We Draw to Learn -- Learning from Visual Displays: Processes and Interventions -- Diagrams and Dicisigns: The Interrelations of Peirce's Doctrines of Propositions and Diagrammatical Reasoning -- Contents -- Design of Concrete Diagrams -- Aesthetics and Ordering in Stacked Area Charts -- 1 Introduction -- 2 Related Work -- 3 Aesthetic Criteria for Stacked Area Charts -- 3.1 Flatness: Minimising Wiggle -- 3.2 Straightness: Minimising Bumps -- 3.3 Continuity: Minimising Broken Layers -- 3.4 Significance: Minimising the Influence of Thin Layers -- 3.5 Choosing One or More Representative Lines -- 4 Ordering Layers -- 4.1 Objective Function -- 4.2 Optimisation Procedure -- 5 Benchmarking -- 6 Conclusion -- References -- Interactive, Orthogonal Hyperedge Routing in Schematic Diagrams Assisted by Layout Automatisms -- 1 Introduction -- 2 Related Work -- 3 Interactive Routing of Hyperedges -- 4 Automatic Routing Considering Manual Changes -- 5 Conclusion -- References -- Evidence of Chunking in a Simple Drawing Task -- 1 Introduction -- 2 Sample Analysis: Inferring Potential Chunks from Pauses -- 3 Discussion -- References -- Theory of Diagrams -- Considerations in Representation Selection for Problem Solving: A Review -- 1 Introduction -- 2 Cognitive Factors in Problem Solving -- 2.1 Problem Solving -- 2.2 Space Traversal and Expertise -- 2.3 Cognitively Effective Representations -- 3 Heterogeneity of Representations -- 3.1 Diagrammatic Aspects of Representations -- 3.2 Recommending a Representation -- 4 Computational Considerations of Representation -- 4.1 Homogeneous Systems -- 4.2 Semi-heterogeneity -- 4.3 Fully Heterogeneous Theorem Provers -- 5 Cognitive Analysis of Computational Systems -- 6 Conclusion.
References -- Diagrams as Part of Physical Theories: A Representational Conception -- 1 Introduction -- 2 Conceptions of Scientific Theories -- 3 Semantic-Representational View on Theories -- 4 Case Study: Phase Space Diagrams in Statistical Mechanics -- 5 Conclusion -- References -- Diagrams and Mathematics -- Beyond Counting: Measuring Diagram Intensity in Mathematical Research Papers -- 1 Introduction -- 2 Detecting and Measuring Diagrams -- 3 Measuring Textual Proxies for Diagrams -- 4 Contemporary Use of Diagrams in Mathematical Research -- 5 Conclusions and Further Perspectives -- References -- On the Relationship Between Geometric Objects and Figures in Euclidean Geometry -- 1 Introduction -- 2 Geometric Figures in Practical Geometry -- 3 Relating Geometric Objects to Geometric Figures -- 4 Basic Features of the Role of Diagrams in Pure and Applied Geometry -- 5 Conclusions -- References -- What Diagrams Are Considered Useful for Solving Mathematical Word Problems in Japan? -- 1 Introduction -- 2 Method -- 3 Results and Discussion -- References -- Diagrams and Logic -- The Search for Symmetry in Hohfeldian Modalities -- 1 Introduction -- 2 Background and Related Works -- 3 Formalization -- 3.1 Language -- 3.2 First-Order Hohfeldian Relations -- 3.3 Second-Order Hohfeldian Relations -- 4 Hohfeldian Squares and Aristotelian squares -- 4.1 Deontic Square of Opposition -- 4.2 O'Reilly's (or Change-Centered) Potestative Square of Opposition -- 4.3 Force-Centered Potestative Square of Opposition -- 4.4 Outcome-Centered Potestative Square of Opposition -- 5 Of Lost Symmetries -- 5.1 Half-Liberties and Full-Liberties -- 5.2 Disjoint or Absolute Duty -- 6 Prototypical Relations Between the Two Squares -- 7 Conclusion -- References -- Wittgenstein's Picture-Investigations -- 1 Introduction -- 1.1 The Presence of Literal Pictures. 1.2 The Function of Images -- 1.3 Propositions, Non-propositions and Pictures -- 1.4 Problem Statement and Present Aims -- 2 Method -- 2.1 Discussion -- 3 Case Studies -- 3.1 Propositions as Pictures and Pictures as Propositions -- 3.2 Images Within Quotation Marks (Picture-Assertions) -- 3.3 Images Collocated with "example, thus:, like this:" (Picture-Samples) -- 3.4 Images Collocated with "Rule" (Picture-Rules) -- 3.5 Images Collocated with "Proof" (Picture-Proofs as Picture-Acts) -- 4 Conclusions and Future Research -- 4.1 Picture-sentences as Propositions -- 4.2 Picture-sentences as Rules -- 4.3 Future Research: The Potential for Pictures as Hinges -- References -- What Kind of Opposition-Forming Operator is Privation? -- 1 Introduction -- 2 TL: The Term Logic of Privation -- 2.1 Syntax of TL -- 2.2 Semantics and Consequence -- 3 Some Textual Evidence for Semantics of Privative Terms -- 3.1 Two-Term and Tree-Term Propositions -- 3.2 Correia's Analysis -- 4 Privation as Opposition-Forming Operator -- 5 Conclusion -- References -- Presenting Basic Graph Logic -- 1 Introduction -- 2 Syntax of Basic Graph Logic -- 3 Semantics of Basic Graph Logic -- 4 Validity and Consequence in Basic Graph Logic -- 5 Diagrammatic Proofs in Basic Graph Logic -- 6 Final Remarks -- References -- Schopenhauer's Partition Diagrams and Logical Geometry -- 1 Introduction -- 2 Aristotelian Relations and -Structures -- 3 The Context of Schopenhauer's Partition Diagrams -- 4 Schopenhauer's Partition Diagrams -- 5 From Partition Diagrams to -Structures -- 6 Conclusion -- References -- Revisiting Peirce's Rules of Transformation for Euler-Venn Diagrams -- 1 Introduction -- 2 Rules 1 to 3 -- 3 Rule 4 -- 4 Rules 5 to 6 -- 5 Comparison with Modern Diagrammatic Systems -- 6 Conclusion -- References -- Tractarian Notations -- 1 Tractarian Extensionality -- 2 Propositional Signs. 3 Tabular and Operational Notations -- References -- Equivalence Proof for Intuitionistic Existential Alpha Graphs -- 1 Introduction -- 2 The System of Intuitionistic Alpha Graphs -- 3 From Formulas to Graphs -- 4 A System of Strings -- 5 From Graphs to Formulas -- 6 Concluding Remarks -- References -- Aaron Schuyler: The Missing Link Between Euler and Venn Diagrams? -- 1 Schuyler's Role in the Venn-Hamilton Dispute -- 2 A Shared Mistake: Does the Exclusion Really Have an Unambiguous Representation in the Euler Diagram? -- 3 No Non-s is Non-p:A Surprising Diagram -- 4 How to Represent Four Classes Using Only Two Intersecting Circles -- 5 Conclusions -- References -- Validity as Choiceless Unification -- 1 Introduction -- 2 Universal Syllogisms as Trios of Total Inclusion -- 3 Universal Syllogisms as Trios of Total Exclusion -- 4 Particular Syllogisms -- 5 Conclusive Remarks -- References -- Truth Tables Without Truth Values: On 4.27 and 4.42 of Wittgenstein's Tractatus -- 1 Introduction -- 2 The Formulas Explained from a Combinatorial Point of View -- 3 Tautology and Contradiction -- 4 Wittgenstein's Truth Tables -- 5 Truth Tables Without Truth Values -- References -- Combining and Relating Aristotelian Diagrams -- 1 Introduction -- 2 Relating Diagrams -- 3 Combining Diagrams -- 4 Examples -- 5 Conclusion and Outlook -- References -- Residuation in Existential Graphs -- 1 Introduction -- 2 Beta Graphs and Relational Operations -- 3 Residuation in Existential Graphs -- 4 Two Further Examples of Residuation in EGs -- 5 Concluding Remarks -- References -- On Identity in Peirce's Beta Graphs -- 1 Introduction: Peirce's Beta System for Existential Graphs -- 2 The Logic of Identity in the Beta System -- 3 Existential Graphs as an Analytical Tool -- 4 The Function of the Line of Identity -- 5 Conclusions -- 1. References. Peirce's Diagrammatic Solutions to `Peirce's Puzzle' -- 1 Introduction -- 2 Discussion and Conclusions -- References -- What Are Rules for? A Carroll-Peirce Comparison -- 1 Introduction -- 2 An Instructive Development -- 3 What Are Rules for? -- References -- A Diagrammatic Representation of Hegel's Science of Logic -- 1 Introduction -- 2 Allihn's Antibarbarus Logicus and the Hegel Diagram -- 3 Interpretation of Allihn's Hegel Diagram -- 4 Discussion -- References -- Jin Yuelin's Simplification of Venn Diagrams -- 1 Introduction -- 2 Venn Diagrams and Existential Graphs -- 3 Venn Diagrams in Jin Yuelin's 1935 Book Logic -- 4 Some Remarks on Dashed Circles in Venn Diagrams -- 5 Conclusion -- References -- Venn Diagrams with "Most": A Natural Logic Approach -- 1 Introduction -- 2 Rescher's Diagram -- 3 Two Comments on Rescher's Rules -- 4 Arrow for "Most" in Natural Logic -- 5 Conclusion -- References -- New Representation Systems -- New Representations of Modal Functions -- 1 Introduction -- 2 Boolean Operations -- 2.1 Unary Boolean Operations -- 2.2 Binary Boolean Operations -- 3 Modal Operations -- 3.1 Unary Modal Functions -- 3.2 Unary Modal Operations on A2 -- 3.3 Modal Functions as Moody Truth-Functions -- 4 Binary Modal Functions -- 5 Conclusion -- References -- Diagramming Imprecise and Incomplete Temporal Information -- 1 Introduction -- 2 Building Blocks -- 3 Applicability to Temporal Relations -- 4 Combining Intervals and Points -- 5 Future Directions -- References -- Comics and Diagrams: An Introductory Overview -- 1 Introduction: The Impossible Definition(s) -- 1.1 Comics, Maps and Diagrams -- 1.2 The Grid -- 2 The Evolutionary Structure -- 3 Micro-narrations -- 4 Centripetal Narrations -- 5 Conclusions -- References -- Analysis of Diagrams -- Image Schemas and Conceptual Blending in Diagrammatic Reasoning: The Case of Hasse Diagrams. 1 Introduction. |
| Record Nr. | UNISA-996464407703316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings / / edited by Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana
| Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings / / edited by Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (570 pages) |
| Disciplina | 006.6 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
User interfaces (Computer systems)
Human-computer interaction Computer science - Mathematics Image processing - Digital techniques Computer vision Algorithms Data structures (Computer science) Information theory Machine theory User Interfaces and Human Computer Interaction Mathematics of Computing Computer Imaging, Vision, Pattern Recognition and Graphics Design and Analysis of Algorithms Data Structures and Information Theory Formal Languages and Automata Theory |
| ISBN | 3-030-86062-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 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?. |
| Record Nr. | UNINA-9910503002303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||