TY - GEN
T1 - Diagrammatic reasoning systems
AU - Howse, John
N1 - Invited keynote paper for International Conference on Conceptual Structures, 2008
PY - 2008/1/1
Y1 - 2008/1/1
N2 - Euler diagrams have been used for centuries as a means for conveying logical statements in a simple, intuitive way. They form the basis of many diagrammatic notations used to represent set-theoretic relationships in a wide range of contexts including software modelling, logical reasoning systems, statistical data representation, database search queries and file system management. In this paper we consider some notations based on Euler diagrams, in particular Spider Diagrams and Constraint Diagrams, with particular emphasis on the development of reasoning systems.
AB - Euler diagrams have been used for centuries as a means for conveying logical statements in a simple, intuitive way. They form the basis of many diagrammatic notations used to represent set-theoretic relationships in a wide range of contexts including software modelling, logical reasoning systems, statistical data representation, database search queries and file system management. In this paper we consider some notations based on Euler diagrams, in particular Spider Diagrams and Constraint Diagrams, with particular emphasis on the development of reasoning systems.
KW - Visual formalisms
KW - diagrammatic reasoning
KW - automated reasoning
KW - software specification
KW - information visualization
U2 - 10.1007/978-3-540-70596-3_1
DO - 10.1007/978-3-540-70596-3_1
M3 - Conference contribution with ISSN or ISBN
SN - 9783540705956
VL - 5113
T3 - Lecture Notes in Computer Science
SP - 1
EP - 20
BT - Proceedings of the 16th International Conference on Conceptual Structures
PB - Springer
CY - Berlin
T2 - Proceedings of the 16th International Conference on Conceptual Structures
Y2 - 1 January 2008
ER -