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.


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.

Item Type: Contribution to conference proceedings in the public domain ( Full Paper)
Additional Information: Invited keynote paper for International Conference on Conceptual Structures, 2008
Uncontrolled Keywords: Visual formalisms; diagrammatic reasoning; automated reasoning; software specification; information visualization
Subjects: G000 Computing and Mathematical Sciences > G400 Computing
DOI (a stable link to the resource): 10.1007/978-3-540-70596-3_1
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 19 Mar 2010
Last Modified: 20 Apr 2015 15:42
URI: http://eprints.brighton.ac.uk/id/eprint/7022

Actions (login required)

View Item View Item


Downloads per month over past year