Book Details

Diagrammatic Representation and Inference

Publication year: 2020

: 978-3-030-54249-8

:


This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, Diagrams 2020, held in Tallinn, Estonia, in August 2020.* The 20 full papers and 16 short papers presented together with 18 posters were carefully reviewed and selected from 82 submissions. The papers are organized in the following topical sections: diagrams in mathematics; diagram design, principles, and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; logic and diagrams; and posters.


: computer science, artificial intelligence, computer programming, data visualization, formal logic, graph theory, graphic methods, hci, human-computer interaction, modal logic, object-oriented programming, ontologies, semantics, software engineering, unified modeling language