A survey of reasoning systems based on Euler diagrams

STAPLETON, GEM (2005) A survey of reasoning systems based on Euler diagrams Electronic Notes in Theoretical Computer Science, 134. pp. 127-151. ISSN 1571-0661

Full text not available from this repository.

Abstract

Euler diagrams have been used for centuries as a means for conveying ideas in an intuitive, informal way. Recently much research has been conducted to develop formal, diagrammatic reasoning systems based on Euler diagrams. Most of these systems extend Euler diagrams by adding further syntax to increase expressiveness. In this paper we survey such systems and draw comparisons between them.

Item Type: Journal article
Uncontrolled Keywords: Visual Logic; Diagrammatic Reasoning
Subjects: G000 Computing and Mathematical Sciences
DOI (a stable link to the resource): 10.1016/j.entcs.2005.02.022
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 24 Nov 2007
Last Modified: 19 Jun 2013 03:01
URI: http://eprints.brighton.ac.uk/id/eprint/3274

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year