Diagrammatic representation and inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings /

Diagrammatic representation and inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings / Diagrams 2018 Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci (eds.). - 1 online resource (xvi, 831 pages) : illustrations - Lecture notes in computer science, 10871 0302-9743 ; Lecture notes in artificial intelligence LNCS sublibrary. SL 7, Artificial intelligence Serienbezeichnung . - Lecture notes in computer science ; 10871. Lecture notes in computer science. Lecture notes in artificial intelligence. LNCS sublibrary. SL 7, Artificial intelligence. .

International conference proceedings. Includes author index.

Intro -- Preface -- Organization -- Contents -- Keynote Contributions -- Diagrams and Nonmonotonic Logic: What Is the Cognitive Relation? -- References -- The Beauty of Graphs -- 1 Introduction -- References -- Tutorials -- Were ``Super-Turing'' Diagrammatic Reasoning Mechanisms Ancient Products of Biological Evolution? -- 1 Introduction -- References -- Using Verbal Protocols to Support Diagram Design -- Abstract -- 1 Overview -- 2 Background -- References -- Peirce on Diagrammatic Reasoning and Semeiotic -- Abstract -- 1 Introduction: Peirce's Early Algebraic Logic -- References Picturing Quantum Processes -- 1 Rationale -- 2 References -- References -- Carroll Diagrams: Design and Manipulation -- Abstract -- 1 Introduction -- 2 Carroll Diagrams -- 3 Directions -- 4 Organization and Practicalities -- References -- Generating and Drawing Euler Diagrams -- Generating Effective Euler Diagrams -- 1 Introduction -- 2 Euler Diagrams: Background -- 3 Euler Diagrams -- 4 The iCurves Euler Diagram Generation Technique -- 4.1 Drawing Curves in Euler Diagrams -- 4.2 Producing a Decomposition -- 4.3 Drawing Algorithm -- 5 Evaluation -- 6 Conclusion and Future Work -- References Variational Pictures -- 1 Introduction -- 2 Representing Variational Pictures -- 2.1 A Formal Model of Variation -- 2.2 Plain Pictures -- 2.3 Adding Choices to Pictures -- 2.4 Variability Types -- 2.5 Variability Regions -- 2.6 Distilling Variational Pictures -- 3 Properties of Variational Pictures -- 4 Maintenance of Variational Pictures -- 5 Variational Area Trees -- 6 Related Work -- 7 Conclusions and Future Work -- References -- Edge Label Placement in Layered Graph Drawing -- 1 Introduction -- 2 Layer Selection -- 3 Label Side Selection -- 3.1 Same-Side Strategy -- 3.2 Directional Strategy 3.3 On-Edge Strategy -- 4 Directional Decorators -- 5 Evaluation -- 6 Conclusion -- References -- Generation of Kolam-Designs Based on Contextual Array P Systems -- 1 Introduction -- 2 Preliminaries -- 3 Contextual Array P System and ``Kolam'' Pattern Generation -- 3.1 ``Kolam'' Generation Using PCAP -- 4 Concluding Remarks -- References -- Diagrams in Mathematics -- Visual Algebraic Proofs for Unknot Detection -- 1 Introduction -- 2 Groups Induced by a Knot Diagram -- 3 Reading Tangles -- 3.1 The Theory of Reading Tangles -- 4 Untangling: The Main Result and an Example 5 Manipulating Tangle Diagrams with the Computer -- 6 Automated Proofs -- 7 Conclusion and Future Work -- References -- A Typology of Mathematical Diagrams -- Abstract -- 1 Introduction: Why Classify Mathematical Diagrams from a Cognitive Perspective -- 2 Mathematical Diagrams and Figures -- 2.1 A Classification Scheme -- 2.2 Applying the Scheme -- 3 Examples -- 3.1 Prototypical Diagrams -- 3.2 Is This a Diagram? -- 3.3 What Kind of Diagram Is This? Examples that Challenge the Classification Scheme -- 4 Discussion: Balancing the Resolution of Diagram Classification -- 5 Conclusion -- References

This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018. The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and selected from 124 submissions. The papers are organized in the following topical sections: generating and drawing Euler diagrams; diagrams in mathematics; diagram design, principles and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; Peirce and existential graphs; and logic and diagrams.

9783319913766 331991376X 3319913751 9783319913759

10.1007/978-3-319-91376-6 doi

com.springer.onix.9783319913766 Springer Nature

GBB8O3670 bnb

019183676 Uk


Graphic methods--Congresses.
Visual communication--Congresses.
Computer graphics--Congresses.
Mathematical theory of computation.
Artificial intelligence.
Information retrieval.
Software Engineering.
Image processing.
User interface design & usability.
Mathematics--Logic.
Computers--Intelligence (AI) & Semantics.
Computers--Information Technology.
Computers--Software Development & Engineering--General.
Computers--Computer Graphics.
Computers--User Interfaces.
Computer graphics.
Graphic methods.
Visual communication.


Electronic books.
Electronic books.
Conference papers and proceedings.
Conference papers and proceedings.

QA90 / .D53 2018eb

518/.23

Powered by Koha