A Survey of Reasoning Systems Based on Euler Diagrams

Authors:
Gem Stapleton
Affiliations:
Visual Modelling Group, University of Brighton, Brighton BN2 4GJ, UK
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 19
Cited 13

Constraint diagrams: visualizing invariants in object-oriented models

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Towards a model theory of Venn diagrams

Logical reasoning with diagrams
Type-syntax and token-syntax in diagrammatic systems

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Logic and Visual Information

Logic and Visual Information
Modeling Heterogeneous Systems

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Generating Euler Diagrams

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
On Diagram Tokens and Types

DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
Towards a Formalization of Constraint Diagrams

HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Constraint Diagrams: A Step Beyond UML

TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Formalizing Spider Diagrams

VL '99 Proceedings of the IEEE Symposium on Visual Languages
Reasoning with Spider Diagrams

VL '99 Proceedings of the IEEE Symposium on Visual Languages
Projections in Venn-Euler Diagrams

VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
SD2: A Sound and Complete Diagrammatic Reasoning System

VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
Layout Metrics for Euler Diagrams

IV '03 Proceedings of the Seventh International Conference on Information Visualization
The Expressiveness of Spider Diagrams Augmented with Constants

VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Dynamic Euler Diagram Drawing

VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
The Expressiveness of Spider Diagrams

Journal of Logic and Computation
A reading algorithm for constraint diagrams

HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
Investigating Reasoning with Constraint Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)

A diagrammatic reasoning system for the description logic ALC

Journal of Visual Languages and Computing
Diagrammatic Reasoning Systems

ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design

Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL

Electronic Notes in Theoretical Computer Science (ENTCS)
The efficacy of euler and Venn diagrams in deductive reasoning: empirical findings

Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
Two types of diagrammatic inference systems: natural deduction style and resolution style

Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference
A decision procedure for a decidable fragment of generalized constraint diagrams

Journal of Visual Languages and Computing
Generalizing spiders

Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
A Diagrammatic Inference System with Euler Circles

Journal of Logic, Language and Information
Proof-Theoretical investigation of venn diagrams: a logic translation and free rides

Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization

Studia Logica
Syllogisms in Rudimentary Linear Logic, Diagrammatically

Journal of Logic, Language and Information
Hypercube algebra: a diagrammatic and sentential notation to support inferences in logic

Proceedings of the 30th European Conference on Cognitive Ergonomics

Quantified Score

Hi-index	0.00

Visualization

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.