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

Research Output 2008 2018

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 ISBNResearchpeer-review

Evaluation
Logic
Diagrams
Intensional
Iconicity

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 ISBNResearchpeer-review

Open Access
File
semantics

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 ISBNResearchpeer-review

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 ISBNResearchpeer-review

Drawing (graphics)
Visualization

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 journalArticleResearchpeer-review

Open Access
File
Cognition
Research

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 journalArticleResearchpeer-review

Open Access
File
Diagrams
Visual Modeling
Logic
Leonhard Euler
Notation
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 conferenceAbstractResearch

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 ISBNResearchpeer-review

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 ISBNResearchpeer-review

Open Access
File
Semantics
Acoustic waves

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 ISBNResearchpeer-review

Open Access
File
Automation
Engines
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 contributionResearch

Open Access
File
language
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 ISBNResearchpeer-review

Open Access
File
Ontology
Engineers

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 journalEditorialResearch

Open Access
File
Visualization

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 ISBNResearchpeer-review

Open Access
File
Visualization
Ontology
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 journalArticleResearchpeer-review

Syntactics
Semantics
Acoustic waves
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 ISBNResearchpeer-review

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 ISBNResearchpeer-review

File
Semiotics
Human computer interaction
Linguistics
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 journalArticleResearchpeer-review

Generalized constraint diagrams: the classical decision problem in a diagrammatic reasoning system

Burton, J., May 2011, 250 p.

Research output: ThesisDoctoral ThesisResearch

File
Syntactics
Semantics
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 ISBNResearchpeer-review

Ergonomics
Data storage equipment
Communication
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 ISBNResearchpeer-review

Specifications
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 ISBNResearchpeer-review

Diagrams and intuitive formal specifications

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

Research output: Contribution to conferenceAbstractResearchpeer-review

Specifications
Formal methods
Formal specification

Types and programs from Euler diagrams

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

Research output: Contribution to conferenceAbstractResearchpeer-review

Computer programming languages