A decidable constraint diagram reasoning system

Journal of Logic and Computation

Volumn 15, Issue 6, 2005, Pages 975-1008

  Stapleton, Gem ^a   Howse, John ^a   Taylor, John ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

Diagrammatic reasoning; Formal methods; Visual logic

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INFORMATION MANAGEMENT; SEMANTICS; SET THEORY; SOFTWARE ENGINEERING;

DIAGRAMMATIC REASONING; FORMAL METHODS; VISUAL LOGIC; VISUAL NOTATION;

CONSTRAINT THEORY;

EID: 29144503373     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exi041     Document Type: Article

References (21)

1. P. Scotto di Luzio. Patching up a logic of Venn diagrams. In Proceedings 6th CSLI WS on Logic, Language and Computation. CSLI Publications, 2000.
2. B. Dreben and D. Goldforb. The Decision Problem. Solvable Classes of Quantificational Formulas. Addison Wesley Publishing Company Inc., 1979.
3. A. Fish, J. Flower, and J. Howse. A reading algorithm for constraint diagrams. In Proc HCC '03, pp. 116-168. IEEE, September 2003.
4. A. Fish, J. Flower, and J. Howse. The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing, to appear, 2005.
5. J. Gil, J. Howse, and S. Kent. Formalising spider diagrams. In Proc. Visual Language 1999, pp. 130-137. IEEE Computer Society Press, September 1999.
6. E. Hammer. Logic and Visual Information. CSLI Publications, 1995.
7. E. Hammer and N. Danner. Towards a model theory of Venn diagrams. In Logical Reasoning with Diagrams, G. Allwein and J. Barwise, eds, pp. 109-127. Oxford University Press, 1996.
8. E. Hammer and N. Danner. Towards a model theory of Venn diagrams. Journal of Philosophical Logic, 25, 463-482, 1996.
9. J. Howse, F. Molina, S-J. Shin, and J. Taylor. On diagram tokens and types. In Proc. Diagrams 2002, pp. 146-160. Springer, 2002.
10. J. Howse, F. Molina, J. Taylor, S. Kent, and J. Gil. Spider diagrams: A diagrammatic reasoning system. Journal of Visual Languages and Computing, 12, 299-324, June 2001.
11. J. Howse and S. Schuman. Precise visual modelling. Journal of Software and Systems Modeling, 4, 2005.
12. J. Howse, G. Stapleton, and J. Taylor. Spider diagrams. LMS Journal of Computation and Mathematics, to appear, 2005.
13. S. Kent. Constraint diagrams: Visualizing invariants in object oriented modelling. In Proceedings of OOPSLA97, pp. 327-341. ACM Press, 1997.
14. OMG. UML Specification, Version 1.5. available from www.omg.org, 2003.
15. F. Ruskey. A survey of Venn diagrams. Electronic Journal of Combinatorics, 1997. www.combinatorics.org/Survey s/ds5/VennEJC.html.
16. S.-J. Shin. The Logical Status of Diagrams. Cambridge University Press, 1994.
17. G. Stapleton, S. Thompson, J. Howse, and J. Taylor. The expressiveness of spider diagrams. Journal of Logic and Computation, 14, 857-880, 2004.
18. N. Swoboda. Implementing Euler/Venn reasoning systems. In Diagrammatic Representation and Reasoning, M. Anderson, B. Meyer, and P. Olivier, eds, pp. 371-386. Springer-Verlag, 2001.
19. N. Swoboda and G. Allwein. Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. Journal of Software and System Modeling, 3, 136-149, 2004.
20. A. Verroust and M.-L. Viaud. Ensuring the drawability of Euler diagrams for up to eight sets. In Proc. Diagrams 2004, pp. 128-141. Springer, 2004.
21. J. Warmer and A. Kleppe. Object Constraint Language. Addison-Wesley, 1998.