Diagrammatic Representation and Inference
Publication year: 2020
ISBN: 978-3-030-54249-8
Internet Resource: Please Login to download book
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.
Subject: 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
