Jim Burton

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 12

Top Topics

Diagrammatic Reasoning

Ontology Engineering

Top Venues

Behav. Inf. Technol.

Publications

Dominique Tranquille, Gem Stapleton, Jim Burton, Peter Rodgers
Evaluating graphical manipulations in automatically laid out LineSets. Behav. Inf. Technol. 40 (4) (2021)
Francesco Bellucci, Jim Burton
Observational Advantages and Occurrence Referentiality. Diagrams (2020)
Jim Burton, Lopamudra Choudhury, Mihir K. Chakraborty
A Survey and Evaluation of Diagrams for Navya-Nyāya. Diagrams (2018)
Gem Stapleton, Amirouche Moktefi, John Howse, Jim Burton
Euler Diagrams Through the Looking Glass: From Extent to Intent. Diagrams (2018)
John Howse, Gem Stapleton, Jim Burton, Andrew Blake
Picturing Problems: Solving Logic Puzzles Diagrammatically. SetVR@Diagrams (2018)
Dominique Tranquille, Gem Stapleton, Jim Burton, Peter J. Rodgers
Evaluating the effects of size in linesets. VINCI (2017)
Jim Burton, John Howse
The Semiotics of Spider Diagrams. Logica Universalis 11 (2) (2017)
Gem Stapleton, Andrew Blake, Jim Burton, Anestis Touloumis
Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison. Stud Logica 105 (4) (2017)
Sven Linker, Jim Burton, Mateja Jamnik
Tactical Diagrammatic Reasoning. UITP (2016)
Sven Linker, Jim Burton, Andrew Blake
Measuring User Comprehension of Inference Rules in Euler Diagrams. Diagrams (2016)
Jim Burton, Mihir K. Chakraborty, Lopamudra Choudhury, Gem Stapleton
. Diagrams (2016)
Dominique Tranquille, Gem Stapleton, Jim Burton, Peter Rodgers
Evaluating the Effects of Colour in LineSets. Diagrams (2016)
Jim Burton, Gem Stapleton
Special issue on Euler and Venn Diagrams: Guest Editors' introduction. J. Log. Lang. Inf. 24 (4) (2015)
Jim Burton, Sven Linker
Generating readable diagrammatic proofs. VL/HCC (2015)
Mithileysh Sathiyanarayanan, Gem Stapleton, Jim Burton, John Howse
Properties of euler diagrams and graphs in combination. VL/HCC (2014)
Jim Burton, Gem Stapleton, John Howse, Peter Chapman
Visualizing Concepts with Euler Diagrams. Diagrams (2014)
Gem Stapleton, John Howse, Adrienne Bonnington, Jim Burton
A Vision for Diagrammatic Ontology Engineering. VISUAL@EKAW (2014)
Jim Burton, Gem Stapleton, John Howse
Generalized constraint diagrams and the classical decision problem. J. Log. Comput. 23 (1) (2013)
Gem Stapleton, John Howse, Kerry Taylor, Aidan J. Delaney, Jim Burton, Peter Chapman
Towards Diagrammatic Ontology Patterns. WOP (2013)
Jim Burton, Gem Stapleton, John Howse
Completeness Proofs for Diagrammatic Logics. Diagrams (2012)
Jim Burton, Gem Stapleton, John Howse
Completeness Proof Strategies for Euler Diagram Logics. ED@Diagrams (2012)
Jim Burton, Peter Coppin
Understanding and Predicting the Affordances of Visual Logics. ED@Diagrams (2012)
Jim Burton, Gem Stapleton, Ali Hamie
A decision procedure for a decidable fragment of generalized constraint diagrams. J. Vis. Lang. Comput. 22 (1) (2011)
Peter Coppin, Jim Burton, Stephen Hockema
An Attention Based Theory to Explore Affordances of Textual and Diagrammatic Proofs. Diagrams (2010)