If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution with ISSN or ISBN
2018

A Survey and Evaluation of Diagrams for Navya-Nyāya

Burton, J., Choudhury, L. & Chakraborty, M., 17 May 2018, International Conference on Theory and Application of Diagrams. Springer, Vol. 10871. p. 280-295 15 p. (Lecture Notes in Computer Science ).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Euler Diagrams Through the Looking Glass: From Extent to Intent

Stapleton, G., Moktefi, A., Howse, J. & Burton, J., 17 May 2018, 10th International Conference on the Theory and Application of Diagrams. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). Edinburgh: Springer, Vol. 10871. p. 365-381 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Picturing Problems: Solving Logic Puzzles Diagrammatically

Howse, J., Stapleton, G., Burton, J. & Blake, A., 18 Jun 2018, International Workshop on Set Visualization and Reasoning. Sato, Y. & Shams, Z. (eds.). Edinburgh, Vol. 2116. p. 12-27 (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File
2017

Evaluating the Effects of Size in LineSets

Tranquille, D., Stapleton, G., Burton, J. & Rodgers, P., 1 Jan 2017, The 10th International Symposium on Visual Information Communication and Interaction. Bangkok: ACM, p. 0-0 1 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

2016

Measuring User Comprehension of Inference Rules in Euler Diagrams

Linker, S., Burton, J. & Blake, A., 1 Aug 2016, Diagrams 2016. Berlin, Germany: Springer, p. 32-39 8 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Minimizing Clutter Using Absence in Venn-i e

Burton, J., Chakraborty, M., Choudhury, L. & Stapleton, G., 26 Jul 2016, International Conference on the Theory and Application of Diagrams. Germany: Springer, Vol. 9781. p. 107-122 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Tactical diagrammatic reasoning

Linker, S., Burton, J. & Jamnik, M., 30 Nov 2016, Proceedings of the 12th Workshop on User Interfaces for Theorem Provers (IJCAR). Online: Open Publishing Association, p. 29-43 15 p. (Electronic Proceedings in Theoretical Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File
2014

A vision for diagrammatic ontology engineering

Stapleton, G., Howse, J., Bonnington, A. & Burton, J., 1 Jan 2014, Proceedings of the International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics (VISUAL 2014). Sweden, Vol. 1299. p. 1-13 13 p. (CEUR Workshop Proceedings).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Visualizing concepts with euler diagrams

Burton, J., Stapleton, G., Howse, J. & Chapman, P., 1 Jan 2014, Diagrams 2014. Australia, Vol. 8578. p. 54-56 3 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File
2012

Completeness proof strategies for Euler diagram logics

Burton, J., Stapleton, G. & Howse, J., 2 Jul 2012, Euler Diagrams 2012: Proceedings of the 3rd International Workshop on Euler Diagrams. Tilburg University, The Netherlands: CEUR-WS, Vol. 854. p. 2-16 15 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Open Access
File

Understanding and predicting the affordances of visual logics

Burton, J. & Coppin, P., 2 Jul 2012, Proceedings of the 3rd international workshop on euler diagrams. Tilburg University, The Netherlands: CEUR-WS, Vol. 854. p. 47-61 15 p. (Euler Diagrams 2012).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

File
2010

An attention based theory to explore affordances of textual and diagrammatic proofs

Coppin, P., Burton, J. & Hockema, S., 1 Jan 2010, Diagrams 2010: Proceedings of the 6th international conference on diagrammatic representation and inference. Berlin, Heidelberg: Springer, Vol. 6170. p. 271-278 8 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

2009

Transforming constraint diagrams

Burton, J., Stapleton, G. & Hamie, A., 20 Sep 2009, Proceedings of the VLL 2009 workshop on visual languages and logic as part of the 2009 IEEE symposium on visual languages and human centric computing VL/HCC 09. Tilburg University, The Netherlands: CEUR, Vol. 510. p. 62-80 19 p. (VLL 2009: Visual Languages and Logic).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

2008

Diagrammatic reasoning and enhanced static constraints

Burton, J., 2008, European Summer School for Logic, Language and Information. p. 47-56 10 p.

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN