Title 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.)

Published Cham, Switzerland : Springer, 2018

Click on the following:
Springer Computer Science eBooks
Springer eBooks

Copies

Description 1 online resource (xvi, 831 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 10871 Lecture notes in artificial intelligence LNCS sublibrary. SL 7, Artificial intelligence Lecture notes in computer science ; 10871. 0302-9743 Lecture notes in computer science. Lecture notes in artificial intelligence LNCS sublibrary. SL 7, Artificial intelligence. 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 Notes International conference proceedings Includes author index Online resource; title from PDF title page (SpringerLink, viewed June 14, 2018) Subject 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 Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Chapman, Peter, editor Stapleton, Gem, editor. Moktefi, Amirouche, editor Perez-Kriz, Sarah, editor Bellucci, Francesco, 1983- editor. ISBN 9783319913766 331991376X 3319913751 9783319913759

Other Titles Diagrams 2018

  Permalink