EulerView: a non-hierarchical visualization component
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Diagrammatic Reasoning Systems
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Visual Mathematics: Diagrammatic Formalization and Proof
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Types and Programs from Euler Diagrams
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Journal of Visual Languages and Computing
The Advent of Formal Diagrammatic Reasoning Systems
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
A graph theoretic approach to general Euler diagram drawing
Theoretical Computer Science
Diagrammatic Formal Specification of a Configuration Control Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient on-line algorithms for Euler diagram region computation
Computational Geometry: Theory and Applications
Coloured euler diagrams: a tool for visualizing dynamic systems and structured information
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
Heterogeneous proofs: spider diagrams meet higher-order provers
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Automatically drawing Euler diagrams with circles
Journal of Visual Languages and Computing
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Speedith: a diagrammatic reasoner for spider diagrams
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Visualizing and specifying ontologies using diagrammatic logics
AOW '09 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112
Hi-index | 0.00 |
Diagrammatic reasoning has the potential to be important in numerous application areas. This paper focuses on the simple, but widely used, Euler diagrams that form the basis of many more expressive logics. We have implemented a diagrammatic theorem prover, called Edith, which has access to four sound and complete sets of reasoning rules for Euler diagrams. Furthermore, for each rule set we develop a sophisticated heuristic to guide the search for a proof. This paper is about understanding how the choice of reasoning rule set affects the time taken to find proofs. Such an understanding will influence reasoning rule design in other logics. Moreover, this work specific to Euler diagrams directly benefits the many logics based on Euler diagrams. We investigate how the time taken to find a proof depends not only on the proof task but also on the reasoning system used. Our evaluation allows us to predict the best choice of reasoning system, given a proof task, in terms of time taken, and we extract a guide for defining reasoning rules for other logics in order to minimize time requirements.