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

Research Output

2020

Diagrams for Navya-Nyāya

Burton, J., 31 Jan 2020, In : Journal of Indian Philosophy. 48, 2, p. 229-254 26 p.

Research output: Contribution to journalArticle

Open Access
File
2019

Evaluating graphical manipulations in automatically laid out LineSets

Tranquille, D., Stapleton, G., Burton, J. & Rodgers, P., 26 Nov 2019, In : Behaviour & Information Technology. p. 1-24 24 p.

Research output: Contribution to journalArticle

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

Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison

Stapleton, G., Blake, A., Burton, J. & Touloumis, A., 20 Feb 2017, In : Studia Logica. 105, 4, p. 787-815 29 p.

Research output: Contribution to journalArticle

Open Access
File

The Semiotics of Spider Diagrams

Burton, J. & Howse, J., 4 May 2017, In : Logica Universalis. 11, 2, p. 177-204 28 p.

Research output: Contribution to journalArticle

Open Access
File
2016

Evaluating the Effects of Colour in LineSets

Tranquille, D., Stapleton, G., Burton, J. & Rodgers, P., 1 Jan 2016, p. 283-285. 3 p.

Research output: Contribution to conferenceAbstract

Open Access
File

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
2015

Journal of Logic, Language and Information, Special Issue on Euler and Venn Diagrams

Burton, J. (ed.) & Stapleton, G. (ed.), 1 Jan 2015, Hingham, MA, USA : Springer.

Research output: Other contribution

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

Joint Proceedings of the Fourth International Workshop on Euler Diagrams and the First International Workshop on Graph Visualization

Burton, J. (ed.), Stapleton, G. (ed.) & Klein, K. (ed.), 1 Jan 2014, In : Ceur Workshop Proceedings. p. 0-0 1 p.

Research output: Contribution to journalEditorial

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
2013

Generalized constraint diagrams and the classical decision problem

Burton, J., Stapleton, G. & Howse, J., 1 Jan 2013, In : Journal of Logic and Computation. 23, 1, p. 199-262 64 p.

Research output: Contribution to journalArticle

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
2011

A decision procedure for a decidable fragment of generalized constraint diagrams

Burton, J., Stapleton, G. & Hamie, A., 28 Feb 2011, In : Journal of Visual Languages and Computing. 22, 1, p. 90-105 16 p.

Research output: Contribution to journalArticle

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

Diagrams and intuitive formal specifications

Burton, J., 1 Sep 2008, p. 262-263. 2 p.

Research output: Contribution to conferenceAbstract

Types and programs from Euler diagrams

Burton, J., 1 Jan 2008, p. 357-359. 3 p.

Research output: Contribution to conferenceAbstract