John Taylor - Research

Research

My current research interest centres on diagrammatic reasoning. I am a member of the Visual Modelling Group and I was an investigator on the EPSRC-funded Reasoning with Diagrams project. I am involved with Visual Modelling Group's work on formalisation of diagrammatic notations, diagrammatic reasoning, the relationship between abstract and concrete diagrams, algorithms for generating diagrams, the use of projections in Venn and Euler diagrams and some combinatorial problems associated with counting various kinds of Euler diagrams.

Recent Papers

2008	Fish A., John C., Taylor J., A Normal Form for Euler Diagrams with Shading. International Conference on the Theory and Application of Diagrams, Springer, LNCS 5223, 2008. Delaney A., Taylor J., Thompson S., Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. International Conference on the Theory and Application of Diagrams, Springer, LNCS 5223, 2008. Stapleton G., Taylor J., Thompson S., Howse J. The Expressiveness of Spider Diagrams Augmented with Constants, accepted for Journal of Visual Languages and Computing.
2007	Stapleton G., Rodgers P., Howse J., Taylor J. Properties of Euler Diagrams. Proceedings of Layout of Software Engineering Diagrams, Idaho, USA, 2-16, September 2007.
2006	John C., Fish A., Howse J., Taylor J. Exploring the Notion of Clutter in Euler Diagrams. Proceedings of Diagrams 2006, International Conference on the Theory and Application of Diagrams, Stanford, 267-282, June 2006. Howse J., Bosworth R., Fish A., Stapleton G., Taylor J., Rodgers P., Thompson S. Euler Diagram-based Notations. Technical Report VMG.06.1, University of Brighton, 2006.
2005	Stapleton G., Howse J., Taylor J. A Decidable Constraint Diagram Reasoning System. Journal of Logic and Computation. 15(6), 2005, 975-1008. Howse J., Stapleton G., Taylor J. Spider Diagrams. The LMS Journal of Computation and Mathematics 8, 2005, 145-194. Stapleton G., Thompson S., Fish A., Howse J., Taylor J. A New Language for the Visualization of Logic and Reasoning, VLC05, International Conference on Visual Languages and Computing, Banff, September 2005, 263-270.
2004	Stapleton G., Thompson S., Howse J., Taylor J. The Expressiveness of Spider Diagrams. Journal of Logic and Computation 14(6), 2004, 857-880 Stapleton G., Howse J., Taylor J., Thompson S. The Expressiveness of Spider Diagrams Augmented with Constants, VLHCC04, Visual Languages and Human Centric Computing, Rome, September 2004, 91 - 98. Stapleton G, Howse J, Taylor J, Thompson S. What Can Spider Diagrams Say?, Proceedings of Diagrams '04, Springer, 112-127. Flower J, Howse J, Taylor J. Nesting in Euler diagrams: syntax, semantics and construction, Journal of Software and Systems Modeling, 3 (1), 2004, 55-67
2003	Stapleton G, Howse J, Taylor J, A Constraint Diagram Reasoning System, VLC'03 International Conference on Visual Languages and Computing, Florida, September 2003.
2002	Flower J, Howse J, Taylor J, Nesting in Euler Diagrams, GT-VMT-02, International Workshop on Graph Transformation and Visual Modeling Techniques, Barcelona, October, 2002. Flower J, Howse J, Kent S, Taylor J, A Visual Framework for Modelling with Heterogeneous Notations, technical note, HCC02 (IEEE Symposium on Human Centric Computing Languages and Environments), . Howse J, Molina F, Shin S-J, Taylor J, On Diagram Tokens and Types, Proceedings of Diagrams 2002, Springer Verlag, 76-90. Howse J, Stapleton G, Flower J, Taylor J, Corresponding Regions in Euler Diagrams, Proceedings of Diagrams 2002, Springer Verlag, 146-160.
2001	Howse J, Molina F, Taylor J, Kent S, Gil J, Spider Diagrams: A Diagrammatic Reasoning System, Journal of Visual Languages and Computing. (2001) 12 299-324. Howse J, Molina F, Shin S.-J., Taylor J, Type-syntax and Token-syntax in Diagrammatic Systems, Proceedings FOIS-2001: 2nd International Conference on Formal Ontology in Information Systems, Maine USA, ACM Press, 174–185.
2000	Howse J, Molina F, Taylor J, A Sound and Complete Spider Diagram System, Proceedings. ASC 2000: 3rd IASTED International Conference on Artificial Intelligence and Soft Computing, Banff, IASTED/ACTA Press 2000, 402–408. Howse J, Molina F, Taylor J, SD2: A Sound and Complete Diagrammatic Reasoning System, Proceedings VL 2000: IEEE Symposium on Visual Languages, Seattle, IEEE Computer Society Press 2000, 127–136. Gil J, Kent S, Howse J, Taylor J, Projections in Venn-Euler Diagrams, Proceedings VL 2000: IEEE Symposium on Visual Languages, Seattle, IEEE Computer Society Press 2000, 119–126. . Howse J, Molina F, Taylor J, On the Completeness and Expressiveness of Spider Diagram Systems, Proc. Diagrams 2000, Edinburgh 2000, LNAI 1889, Springer-Verlag, 26-41.
1999	Howse J, Molina F, Taylor J, Kent, S, Reasoning with Spider Diagrams, Proceedings of IEEE Symposium on Visual Languages (VL99), IEEE Computer Society Press.