Formal issues in languages based on closed curves

Proceedings: DMS 2006 - 12th International Conference on Distributed Multimedia Systems

Volumn , Issue , 2006, Pages 161-167

  Fish, Andrew ^a   Stapleton, Gem ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MULTIMEDIA SYSTEMS;

CLOSED CURVE; COMPUTING APPLICATIONS; DISJOINTNESS; DRAWABILITY; SPATIAL PROPERTIES;

VISUAL LANGUAGES;

EID: 84923861156     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (35)

1. M. Armstrong. Basic Topology. Springer-Verlag, 1979.
2. J. Barwise and E. Hammer. Diagrams and the concept of logical system. In G. Allwein and J. Barwise, editors, Logical Reasoning with Diagrams. OUP, 1996.
3. D. Blackett. Elementary Topology. Academic Press, 1983.
4. B. Bultena and F. Ruskey. Venn diagrams with few vertices. Electronic Journal of Combinatorics, 5:1–21, 1998.
5. L. Choudhury and M. K. Chakraborty. On extending Venn diagrams by augmenting names of individuals. In Proceedings of Diagrams 2004, Cambridge, UK, volume 2980 of LNAI, pages 142–146. Springer-Verlag, March 2004.
6. S. Chow and F. Ruskey. Drawing area-proportional Venn and Euler diagrams. In Proceedings of Graph Drawing 2003, Perugia, Italy, volume 2912 of LNCS, pages 466–477. Springer-Verlag, September 2003.
7. S. Chow and F. Ruskey. Towards a general solution to drawing area-proportional Euler diagrams. In Proceedings of Euler Diagrams, volume 134 of ENTCS, pages 3–18, 2005.
8. R. DeChiara, U. Erra, and V. Scarano. VennFS: A Venn diagram file manager. In Proceedings of Information Visualisation, pages 120–126. IEEE Computer Society, 2003.
9. H. Dunn-Davies and R. Cunningham. Propostional statecharts for agent interaction protocols. In Proceedings of Euler Diagrams 2004, Brighton, UK, volume 134 of ENTCS, pages 55–75, 2005.
10. A. Fish and J. Flower. Abstractions of Euler diagrams. In Proceedings of Euler Diagrams 2004, Brighton, UK, volume 134 of ENTCS, pages 77–101, 2005.
11. A. Fish, J. Flower, and J. Howse. The semantics of augmented constraint diagrams. Journal of Visual Languages and Computing, 16:541–573, 2005.
12. J. Flower and J. Howse. Generating Euler diagrams. In Proceedings of Diagrams 2002, pages 61–75, Georgia, USA, April 2002. Springer-Verlag.
13. J. Flower, J. Masthoff, and G. Stapleton. Generating readable proofs: A heuristic approach to theorem proving with spider diagrams. In Proceedings of Diagrams 2004, volume 2980 of LNAI, pages 166–181, Cambridge, UK, 2004. Springer.
14. J. Flower, P. Rodgers, and P. Mutton. Layout metrics for Euler diagrams. In 7th International Conference on Information Visualisation, pages 272–280. IEEE, 2003.
15. E. Hammer. Logic and Visual Information. CSLI Publications, 1995.
16. P. Hayes, T. Eskridge, R. Saavedra, T. Reichherzer, M. Mehrotra, and D. Bobrovnikoff. Collaborative knowledge capture in ontologies. In Proc. of the 3rd International Conference on Knowledge Capture, pages 99–106, 2005.
17. J. Howse, F. Molina, S.-J. Shin, and J. Taylor. Type-syntax and token-syntax in diagrammatic systems. In Proceedings 2nd International Conference on Formal Ontology in Information Systems, USA, pages 174–185. ACM Press, 2001.
18. J. Howse and S. Schuman. Precise visual modelling. J. of Software and Systems Modeling, 4:310–325, 2005.
19. J. Howse, G. Stapleton, and J. Taylor. Spider diagrams. LMS J. of Computation and Mathematics, 8:145–194, 2005.
20. C. John. Reasoning with projected contours. In Proceedings of Diagrams 2004, volume 2980 of LNAI, pages 147–150, Cambridge, UK, 2004. Springer.
21. S. Kent. Constraint diagrams: Visualizing invariants in object oriented modelling. In Proceedings of OOPSLA97, pages 327–341. ACM Press, October 1997.
22. S.-K. Kim and D. Carrington. Visualization of formal specifications. In 6th Aisa Pacific Software Engineering Conference, pages 102–109, Los Alamitos, CA, USA, IEEE, 1999.
23. O. Lemon and I. Pratt. Spatial logic and the complexity of diagrammatic reasoning. Machine GRAPHICS and VISION, 6(1):89–108, 1997.
24. J. Lovdahl. Towards a Visual Editing Environment for the Languages of the SemanticWeb. PhD thesis, Linkoping University, 2002.
25. T. More. On the construction of Venn diagrams. Journal of Symbolic Logic, 23:303–304, 1959.
26. C. Peirce. Collected Papers, volume 4. Harvard University Press, 1933.
27. P. Rodgers, P. Mutton, and J. Flower. Dynamic Euler diagram drawing. In Visual Languages and Human Centric Computing, Rome, Italy, pages 147–156. IEEE Computer Society Press, September 2004.
28. H. Sawamura and K. Kiyozuka. JVenn: A visual reasoning system with diagrams and sentences. In Proceedings of Diagrams 2000, volume 1889 of LNAI, pages 271–285, Edinburgh, UK, 2000. Springer-Verlag.
29. P. Scotto di Luzio. Patching up a logic of Venn diagrams. In Proceedings 6th CSLI Workshop on Logic, Language and Computation. CSLI Publications, 2000.
30. S.-J. Shin. The Logical Status of Diagrams. Cambridge University Press, 1994.
31. G. Stapleton, J. Howse, and J. Taylor. A decidable constraint diagram reasoning system. Journal of Logic and Computation, 15(6):975–1008, December 2005.
32. N. Swoboda and G. Allwein. Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. J. on Software and System Modeling, 3(2):136–149, 2004.
33. N. Swoboda and G. Allwein. Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL. In Proceedings of Euler Diagrams 2004, volume 134 of ENTCS. Elsevier Science, 2005.
34. A. Verroust and M.-L. Viaud. Ensuring the drawability of Euler diagrams for up to eight sets. In Proceedings of Diagrams 2004, volume 2980 of LNAI, pages 128–141, Cambridge, UK, 2004. Springer.
35. Y. Zhao and J. Lövdahl. A reuse based method of developing the ontology for e-procurement. In Proceedings of the Nordic Confernce on Web Services, pages 101–112, 2003