Diagrammatic representation and inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings / Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci (eds.).

By: (10th : Diagrams (Conference) (10th : 2018 : Edinburgh, Scotland)
Contributor(s): Chapman, Peter [editor.] | Stapleton, Gem [editor.] | Moktefi, Amirouche [editor.] | Perez-Kriz, Sarah [editor.] | Bellucci, Francesco, 1983- [editor.]
Material type: TextTextSeries: SerienbezeichnungLecture notes in computer science: 10871.; Lecture notes in computer science: ; LNCS sublibrary: Publisher: Cham, Switzerland : Springer, 2018Description: 1 online resource (xvi, 831 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783319913766; 331991376X; 3319913751; 9783319913759Other title: Diagrams 2018Subject(s): 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 communicationGenre/Form: Electronic books. | Electronic books. | Conference papers and proceedings. | Conference papers and proceedings. Additional physical formats: Printed edition:: No titleDDC classification: 518/.23 LOC classification: QA90 | .D53 2018ebOnline resources: Click here to access online
Contents:
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
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

International conference proceedings.

Includes author index.

Online resource; title from PDF title page (SpringerLink, viewed June 14, 2018).

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.

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

There are no comments for this item.

to post a comment.

Powered by Koha