A survey of reasoning systems based on Euler diagrams

Gem Stapleton

doi:10.1016/j.entcs.2005.02.022

A survey of reasoning systems based on Euler diagrams

Gem Stapleton

University of Brighton

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	127-151
Number of pages	25
Journal	Electronic Notes in Theoretical Computer Science
Volume	134
DOIs	https://doi.org/10.1016/j.entcs.2005.02.022
Publication status	Published - 1 Jun 2005

Keywords

Visual Logic
Diagrammatic Reasoning

Access to Document

10.1016/j.entcs.2005.02.022Licence: Unspecified

http://www.sciencedirect.com/science/journal/15710661/134Licence: Unspecified

Cite this

@article{0b1f336b848f4e50ad86e1b8123caa08,

title = "A survey of reasoning systems based on Euler diagrams",

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.",

keywords = "Visual Logic, Diagrammatic Reasoning",

author = "Gem Stapleton",

year = "2005",

month = jun,

day = "1",

doi = "10.1016/j.entcs.2005.02.022",

language = "English",

volume = "134",

pages = "127--151",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

}

TY - JOUR

T1 - A survey of reasoning systems based on Euler diagrams

AU - Stapleton, Gem

PY - 2005/6/1

Y1 - 2005/6/1

N2 - 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.

AB - 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.

KW - Visual Logic

KW - Diagrammatic Reasoning

U2 - 10.1016/j.entcs.2005.02.022

DO - 10.1016/j.entcs.2005.02.022

M3 - Article

SN - 1571-0661

VL - 134

SP - 127

EP - 151

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

A survey of reasoning systems based on Euler diagrams

Abstract

Keywords

Access to Document

Fingerprint

Cite this