Diagrammatic reasoning systems
HOWSE, JOHN (2008) Diagrammatic reasoning systems In: Proceedings of the 16th International Conference on Conceptual Structures, Toulouse, France, 7-11 July, 2008.
Full text not available from this repository.
Official URL: http://www.springerlink.com/content/l6t4343k0433u2...
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.
Repository Staff Only: item control page