Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10871)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: Diagrams 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
- 3D
- artificial intelligence
- comprehension
- data visualization
- formal logic
- graph theory
- Human-Computer Interaction (HCI)
- image reconstruction
- information visualization
- interactive computer graphics
- knowledge representation
- modal logic
- ontologies
- problem solving
- project management
- semantics
- software engineering
- theorem proving
- user interfaces
- visualization design
Table of contents (82 papers)
-
Keynote Contributions
-
Generating and Drawing Euler Diagrams
-
Diagrams in Mathematics
Other volumes
-
Diagrammatic Representation and Inference
Editors and Affiliations
Bibliographic Information
Book Title: Diagrammatic Representation and Inference
Book Subtitle: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings
Editors: Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-91376-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2018
Softcover ISBN: 978-3-319-91375-9Published: 17 May 2018
eBook ISBN: 978-3-319-91376-6Published: 07 June 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 831
Number of Illustrations: 435 b/w illustrations, 181 illustrations in colour
Topics: User Interfaces and Human Computer Interaction, Mathematical Logic and Formal Languages, Artificial Intelligence, Information Systems Applications (incl. Internet), Software Engineering, Image Processing and Computer Vision