Automated theorem proving with spider diagrams

Electronic Notes in Theoretical Computer Science

Volumn 91, Issue , 2004, Pages 246-263

  Flower, Jean ^a   Stapleton, Gem ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

Automated reasoning; Diagrammatic reasoning; Proof writing; Spider diagrams

Indexed keywords

ALGORITHMS; SEMANTICS; SET THEORY; TOPOLOGY;

AUTOMATED REASONING; DIAGRAMMATIC REASONING; PROOF WRITING; SPIDER DIAGRAMS;

THEOREM PROVING;

EID: 18944381825     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2003.12.016     Document Type: Conference Paper

References (19)

1. Amati G., Ounis I. Conceptual graphs and first order logic. The Computer Journal. 43:(1):2000;1-12
2. Fish, A., J. Flower and J. Howse, A reading algorithm for constraint diagrams, In Proceedings of IEEE Symposium on Visual Languages and Formal Methods, Auckland, 2003
3. Flower J., Howse J. Generating Euler diagrams. Proceedings of Diagrams 2002. 2002;61-75 Springer-Verlag
4. Flower, J., J. Masthoff and G. Stapleton, Generating readable proofs: A heuristic approach to theorem proving with spier diagrams, Submitted to 3rd International Conference, Diagrams 2004, Cambridge, 2004
5. Flower, J., P. Rodgers and P. Mutton, Layout metrics for Euler diagrams, In Proceedsings of 7th International Conference on Information Visualisation, pages 272-280, London, 2003
6. Gil J., Howse J., Kent S. Formalising spider diagrams. Proceedings of IEEE Symposium on Visual Languages (VL99). 1999;130-197 IEEE Computer Society Press
7. Howse J., Molina F., Taylor J. SD2: A sound and complete diagrammatic reasoning system. Proceedings of IEEE Symposium on Visual Languages (VL2000). 2000;127-136 IEEE Computer Society Press
8. Howse J., Stapleton G., Taylor J. Spider diagrams. In preparation, to appear www.cmis.brighton.ac.uk/research/vmg
9. Niinimäki M. Understanding the semantics of conceptual graphs. University of Tampere, Department Of Computer Science http://www.cs.uta.fi/ reports/pdf/A-1999-4.pdf:1999
10. Online course in knowledge representation using conceptual graphs. http://www.hum.auc.dk/cg/. produced by Humanistic Informatics at Department of Communication, Aalborg University, Denmark, and by the Flexnet Project in Information Science, University of Southern Denmark
11. Shin S.-J. The logical status of diagrams. 1994;Cambridge University Press
12. Sowa J.F. Conceptual graphs summary. Eklund P., Nagle T., Nagle J., Gerholz L. Conceptual Structures: Current Research and Practice. 1992;3-52 Ellis Horwood
13. Stapleton, G., J. Howse and J. Taylor, A constraint diagram reasoning system, In Proceedings of 9th International Conference on Distributed Multimedia Systems, International Conference on Visual Languages and Computing, pages 263-270, Miami, 2003
14. Stapleton, G., J. Howse, J. Taylor and S. Thompson, What can spider diagrams say?, Submitted to 3rd International Conference, Diagrams 2004, Cambridge, 2004
15. Swoboda N. Implementing Euler/Venn reasoning systems. Anderson M., Meyer B., Oliver O. Diagrammatic Representation and Reasoning. 2001;Springer-Verlag
16. Swoboda N., Allwein G. A case study of the design and implementation of heterogeneous reasoning systems. Manani L., Nersessian N.J. Logical and Computational Aspects of Model-Based Reasoning. 2002;Kluwer Academic
17. University of Karlsruhe Institute of Logic, Complexity and Deductive Systems The KeY tool. http://i12www.ira.uka.de/~key
18. Venn J. On the diagrammatic and mechanical representation of propositions and reasonings. Phil. Mag. 1880
19. The Visual Modelling Group Website, executable java program available from http://www.cmis.brighton.ac.uk/research/vmg