Items where Author is "Flower, J."

Fish, A. and Flower, J. (2008) Euler diagram decomposition In: Diagrammatic representation and inference. Lecture Notes in Computer Science, 5223 . Springer, pp. 28-44. ISBN 978-3-540-87729-5

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., 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)

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

Mutton, P., Rodgers, P. and Flower, J. (2004) Drawing graphs in Euler 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. 66-81. ISBN 9783540212683

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

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