The expressiveness of spider diagrams augmented with constants

Proceedings - 2004 IEEE Symposium on Visual Languages and Human Centric Computing

Volumn , Issue , 2004, Pages 91-98

  Stapleton, Gem ^a   Howse, John ^a   Taylor, John ^a   Thompson, Simon ^b  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

^b UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTANTS; SPIDER DIAGRAMS; SYNTAX; VISUAL LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; SEMANTICS; SET THEORY; SYNTACTICS; VISION;

GRAPHIC METHODS;

EID: 16244362730     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VLHCC.2004.57     Document Type: Conference Paper

References (12)

1. L. Euler. Lettres a une princesse d'allemagne, 1761. vol 2, Letters No. 102-108.
2. A. Fish, J. Flower, and J. Howse. A reading algorithm for constraint diagrams. In IEEE Symposium on Human Centric Computing Languages and Environments, Auckland, New Zealand, pages 116-168. IEEE, 2003.
3. J. Howse, F. Molina, S.-J. Shin, and J. Taylor. On diagram tokens and types. In Proceedings of Diagrams 2002, pages 76-90. Springer-Verlag, April 2002.
4. J. Howse, F. Molina, J. Taylor, S. Kent, and J. Gil. Spider diagrams: A diagrammatic reasoning system. Journal of Visual Languages and Computing, 12(3):299-324, June 2001.
5. J. Howse, G. Stapleton, and J. Taylor. Reasoning with spider diagrams, 2004. available from www.cmis.brighton.ac.uk/research/vmg.
6. S. Kent. Constraint diagrams: Visualising invariants in object oriented models. In Proceedings of OOPSLA97, ACM SIGPLAN Notices, volume 32, pages 327-341, 1997.
7. F. Molina. Reasoning with extended Venn-Peirce diagrammatic systems. PhD thesis, University of Brighton, 2001.
8. S.-J. Shin. The Logical Status of Diagrams. Cambridge University Press, 1994.
9. G. Stapleton, J. Howse, and J. Taylor. A constraint diagram reasoning system. In Proceedings of International Conference on Visual Languages and Computing, pages 263-270. Knowledge Systems Institute, 2003.
10. G. Stapleton, J. Howse, J. Taylor, and S. Thompson. What can spider diagrams say? In Proceedings of Diagrams 2004, pages 112-127. Springer-Verlag, 2004.
11. N. Swoboda and G. Allwein. Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of interence. In International Workshop on Graph Transformation and Visual Modeling Techniques, pages 84-98, Barcelona, October 2002.
12. J. Venn. On the diagrammatic and mechanical representation of propositions and reasonings. The London, Edinburugh and Dublin Philosophical Magazine and Journal of Science, 9:1-18, 1880.