A Survey of Reasoning Systems Based on Euler Diagrams | Zendy

Gem Stapleton | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Survey of Reasoning Systems Based on Euler Diagrams

Author(s) -

Gem Stapleton

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.02.022

Subject(s) - diagrammatic reasoning , computer science , syntax , euler's formula , theoretical computer science , algebra over a field , programming language , calculus (dental) , mathematics , pure mathematics , artificial intelligence , medicine , mathematical analysis , dentistry

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research