On the completeness and expressiveness of spider diagram systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1889, Issue , 2000, Pages 26-41

  Howse, John ^a   Molina, Fernando ^a   Taylor, John ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

Diagrammatic reasoning; Visual formalisms

Indexed keywords

GRAPHIC METHODS; VISUAL LANGUAGES;

CARDINALITIES; DIAGRAMMATIC REASONING; LARGE SOFTWARE SYSTEMS; OBJECT ORIENTED MODELLING; REASONING RULES; SOUND AND COMPLETE; SPIDER DIAGRAMS; VISUAL FORMALISM;

OBJECT ORIENTED PROGRAMMING;

EID: 84942905731     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44590-0_8     Document Type: Conference Paper

References (14)

1. [1] Allwein, G., Barwise, J. (1996) Logical Reasoning with Diagrams, OUP.
2. [2] Euler, L. (1761) Lettres a Une Princesse d’Allemagne. Vol. 2, Letters No. 102-108.
3. [3] Gil, Y., Howse, J., Kent, S. (1999) Formalizing Spider Diagrams, Proceedings of IEEE Symposium on Visual Languages (VL99), IEEE Computer Society Press.
4. [4] Gil, Y., Howse, J., Kent, S. (1999) Constraint Diagrams: a step beyond UML, Proceedings of TOOLS USA 1999, IEEE Computer Society Press.
5. [5] Glasgow, J, Narayanan, N, Chandrasekaran, B (1995) Diagrammatic Reasoning, MIT Press.
6. [6] Hammer, E. M. (1995) Logic and Visual Information, CSLI Publications.
7. [7] Howse, J., Molina, F., Taylor, J., (2000) A Sound and Complete Diagrammatic Reasoning System, accepted for ASC 2000, IASTED Conference on Artificial Intelligence and Soft Computing.
8. [8] Howse, J., Molina, F., Taylor, J., (2000) SD2: A Sound and Complete Diagrammatic Reasoning System, accepted for VL2000, IEEE Symposium on Visual Languages.
9. [9] Howse, J., Molina, F., Taylor, J., Kent, S. (1999) Reasoning with Spider Diagrams, Proceedings of IEEE Symposium on Visual Languages (VL99), IEEE Computer Society Press.
10. [10] Kent, S. (1997) Constraint Diagrams: Visualising Invariants in Object Oriented Models. Proceedings of OOPSLA 97.
11. [11] Peirce, C. (1933) Collected Papers. Vol. 4. Harvard University Press.
12. [12] Rumbaugh, J., Jacobson, I., Booch, G. (1999) Unified Modeling Language Reference Manual. Addison-Wesley.
13. [13] Shin, S.-J. (1994) The Logical Status of Diagrams. CUP.
14. [14] Venn, J. (1880) On the Diagrammatic and Mechanical Representation of Propositions and Reasonings, Phil. Mag. 123.