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

Research Output 2008 2018

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

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