Items where Author is "Stapleton, G."

Stapleton, G. and Rodgers, P. (2011) Drawing Euler diagrams with circles and ellipses In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011, 18-22 September 2011, Pittsburgh, PA, USA.

Stapleton, G., Delaney, A., Rodgers, P. and Plimmer, B. (2011) Recognising sketches of Euler diagrams augmented with graphs In: Visual Languages and Computing, September 2011, Florence, Italy.

Howse, J., Rodgers, P. and Stapleton, G. (2010) Levels of syntax for Euler diagram logics In: World Congress and Summer School on Universal Logic, 18-25 April, 2010, Monte Estoril, Portugal.

Stapleton, G. and Chapman, P. G (2010) On the relative expressiveness of second-order spider diagrams and regular expressions In: 16th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, 14-16 October 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA.

Howse, J., Rodgers, P. and Stapleton, G. (2009) Automated diagram drawing In: IEEE Symposium on Visual Languages and Human-Centric Computing 2009, 20-24 September, 2009, Corvallis, Oregon, USA.

Stapleton, G., Jamnik, M. and Masthoff, J. (2009) On the readability of diagrammatic proofs In: Automated Reasoning Workshop, 21-22 April 2009, Liverpool, UK. (Submitted)

Oliver, I., Howse, J., Stapleton, G., Nuutlia, E and Torma, S (2009) A proposed diagrammatic logic for ontology specification and visualization In: International Semantic Web Conference, 25-29 October 2009, Chantilly, VA, USA.

Stapleton, G., Masthoff, J., Flower, J., Fish, A. and Southern, J. (2007) Automated theorem proving in Euler diagram systems Journal of automated reasoning, 39 (4). pp. 431-470. ISSN 0168-7433

Stapleton, G. (2007) Euler diagram reasoning University of Brighton, Brighton, UK. (Unpublished)

Stapleton, G. (2007) How to use Edith: the Euler diagram theorem prover University of Brighton, Brighton, UK. (Unpublished)

Stapleton, G. and Masthoff, J. (2007) Incoporating negation into visual logics: a case study using Euler diagrams In: VLC 07: Visual Languages and Computing, 6-8 Sep 2007, San Francisco, USA.

Delaney, A. and Stapleton, G. (2007) Spider diagrams of order In: Cox, P., Fish, A. and Howse, J., eds. VLL 2007: Visual Languages and Logic. Ceur Workshop Proceedings, pp. 27-39. ISBN 1613-0073

Stapleton, G. and Delaney, A. (2007) Towards overcoming deficiencies in constraint diagrams In: VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing. IEEE Computer Society, Berlin, pp. 33-40. ISBN 9780769529875

Stapleton, G., Masthoff, J., Flower, J., Fish, A. and Southern, J. (2006) Appendices for automated theorem proving in Euler diagram systems University of Brighton, Brighton, UK. (Unpublished)

Howse, J., Bosworth, R., Fish, A., Stapleton, G., Taylor, J., Rodgers, P. and Thompson, S. (2006) Euler diagram-based notations University of Brighton, Brighton, UK. (Unpublished)

Stapleton, G. (2005) A survey of reasoning systems based on Euler diagrams Electronic Notes in Theoretical Computer Science: Proceedings of the First International Workshop on Euler Diagrams (Euler 2004), 134 . pp. 127-151. ISSN 1571-0661

Howse, J., Stapleton, G. and Taylor, J. (2005) Spider diagrams LMS Journal of Computation and Mathematics, 8 . pp. 145-194. ISSN 1461-1570

Stapleton, G., Howse, J., Taylor, J. and Thompson, S. (2004) The expressiveness of spider diagrams Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X

Flower, J. and Stapleton, G. (2004) Automated theorem proving with spider diagrams Electronic Notes in Theoretical Computer Science, 91 . pp. 246-263. ISSN 1571-0661

Stapleton, G., Howse, J., Taylor, J. and Thompson, S. (2004) The expressiveness of spider diagrams augmented with constants VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing . pp. 91-98.

Flower, J., Masthoff, J. and Stapleton, G. (2004) Generating proofs with spider diagrams using heuristics In: Proceedings of 10th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing. Knowledge Systems Institute, pp. 91-98.

Flower, J., Masthoff, J. and Stapleton, G. (2004) Generating readable proofs: a heuristic approach to theorum proving with spider diagrams In: Blackwell, A., Marriott, K. and Shimojima, A., eds. Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture Notes in Computer Science, 2980/2004 . Springer Verlag, Berlin, Germany, pp. 166-181. ISBN 9783540212683

Stapleton, G. (2004) Reasoning with constraint diagrams: summary of PhD thesis University of Brighton.

Howse, J., Stapleton, G., Flower, J. and Taylor, J. (2002) Corresponding regions in Euler diagrams In: Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002. Proceedings. Lecture Notes in Computer Science, 2317/2002 . Springer-Verlag, pp. 146-160. ISBN 9783540435617