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-0661Full text not available from this repository.
Official URL: http://www.sciencedirect.com/science/journal/15710...
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.
Actions (login required)
Downloads per month over past year