A survey of reasoning systems based on Euler diagrams

Gem Stapleton

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)127-151
Number of pages25
JournalElectronic Notes in Theoretical Computer Science
Volume134
DOIs
Publication statusPublished - 1 Jun 2005

Keywords

  • Visual Logic
  • Diagrammatic Reasoning

Fingerprint Dive into the research topics of 'A survey of reasoning systems based on Euler diagrams'. Together they form a unique fingerprint.

  • Cite this