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 / [electronic resource] :
edited by Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci.
- 1st ed. 2018.
- XVI, 831 p. 616 illus., 181 illus. in color. online resource.
- Lecture Notes in Artificial Intelligence, 10871 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 10871 .
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
10.1007/978-3-319-91376-6 doi
User interfaces (Computer systems).
Human-computer interaction.
Machine theory.
Artificial intelligence.
Application software.
Software engineering.
Computer vision.
User Interfaces and Human Computer Interaction.
Formal Languages and Automata Theory.
Artificial Intelligence.
Computer and Information Systems Applications.
Software Engineering.
Computer Vision.
QA76.9.U83 QA76.9.H85
005.437 004.019
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
10.1007/978-3-319-91376-6 doi
User interfaces (Computer systems).
Human-computer interaction.
Machine theory.
Artificial intelligence.
Application software.
Software engineering.
Computer vision.
User Interfaces and Human Computer Interaction.
Formal Languages and Automata Theory.
Artificial Intelligence.
Computer and Information Systems Applications.
Software Engineering.
Computer Vision.
QA76.9.U83 QA76.9.H85
005.437 004.019