Jim Burton

According to our database, Jim Burton authored at least 28 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Evaluating graphical manipulations in automatically laid out LineSets.

Dominique Tranquille, Gem Stapleton, Jim Burton, Peter Rodgers

Behav. Inf. Technol., 2021

2020

Observational Advantages and Occurrence Referentiality.

Francesco Bellucci, Jim Burton

Proceedings of the Diagrammatic Representation and Inference, 2020

2018

Euler Diagrams Through the Looking Glass: From Extent to Intent.

Gem Stapleton, Amirouche Moktefi, John Howse, Jim Burton

Proceedings of the Diagrammatic Representation and Inference, 2018

Picturing Problems: Solving Logic Puzzles Diagrammatically.

John Howse, Gem Stapleton, Jim Burton, Andrew Blake

Proceedings of International Workshop on Set Visualization and Reasoning (SetVR 2018) co-located with 10th International Conference on the Theory and Application of Diagrams (Diagrams 2018), 2018

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

Jim Burton, Lopamudra Choudhury, Mihir K. Chakraborty

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

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

Gem Stapleton, Andrew Blake, Jim Burton, Anestis Touloumis

Stud Logica, 2017

The Semiotics of Spider Diagrams.

Jim Burton, John Howse

Logica Universalis, 2017

Team VALOR's ESCHER: A Novel Electromechanical Biped for the DARPA Robotics Challenge.

Coleman Knabe, Robert J. Griffin, James Burton, Graham Cantor-Cooke, Lakshitha Dantanarayana, Graham Day, Oliver Ebeling-Koning, Eric Hahn, Michael A. Hopkins, Jordan Neal, Jackson Newton, Chris Nogales, Viktor L. Orekhov, John Peterson, Michael Rouleau, John Seminatore, Yoonchang Sung, Jacob Webb, Nikolaus Wittenstein, Jason Ziglar, Alexander Leonessa, Brian Y. Lattimer, Tomonari Furukawa

J. Field Robotics, 2017

Evaluating the effects of size in linesets.

Dominique Tranquille, Gem Stapleton, Jim Burton, Peter J. Rodgers

Proceedings of the 10th International Symposium on Visual Information Communication and Interaction, 2017

2016

Tactical Diagrammatic Reasoning.

Sven Linker, Jim Burton, Mateja Jamnik

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016

Evaluating the Effects of Colour in LineSets.

Dominique Tranquille, Gem Stapleton, Jim Burton, Peter Rodgers

Proceedings of the Diagrammatic Representation and Inference, 2016

Measuring User Comprehension of Inference Rules in Euler Diagrams.

Sven Linker, Jim Burton, Andrew Blake

Proceedings of the Diagrammatic Representation and Inference, 2016

Minimizing Clutter Using Absence in Venn-i^e.

Jim Burton, Mihir K. Chakraborty, Lopamudra Choudhury, Gem Stapleton

Proceedings of the Diagrammatic Representation and Inference, 2016

2015

Special issue on Euler and Venn Diagrams: Guest Editors' introduction.

Jim Burton, Gem Stapleton

J. Log. Lang. Inf., 2015

Generating readable diagrammatic proofs.

Jim Burton, Sven Linker

Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

2014

Properties of euler diagrams and graphs in combination.

Mithileysh Sathiyanarayanan, Gem Stapleton, Jim Burton, John Howse

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

A Vision for Diagrammatic Ontology Engineering.

Gem Stapleton, John Howse, Adrienne Bonnington, Jim Burton

Proceedings of the International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics co-located with 19th International Conference on Knowledge Engineering and Knowledge Management, 2014

Visualizing Concepts with Euler Diagrams.

Jim Burton, Gem Stapleton, John Howse, Peter Chapman

Proceedings of the Diagrammatic Representation and Inference, 2014

2013

Generalized constraint diagrams and the classical decision problem.

Jim Burton, Gem Stapleton, John Howse

J. Log. Comput., 2013

Towards Diagrammatic Ontology Patterns.

Gem Stapleton, John Howse, Kerry Taylor, Aidan J. Delaney, Jim Burton, Peter Chapman

Proceedings of the 4th Workshop on Ontology and Semantic Web Patterns co-located with 12th International Semantic Web Conference (ISWC 2013), 2013

2012

Completeness Proof Strategies for Euler Diagram Logics.

Jim Burton, Gem Stapleton, John Howse

Proceedings of the 3rd International Workshop on Euler Diagrams, 2012

Completeness Proofs for Diagrammatic Logics.

Jim Burton, Gem Stapleton, John Howse

Proceedings of the Diagrammatic Representation and Inference, 2012

Understanding and Predicting the Affordances of Visual Logics.

Jim Burton, Peter Coppin

Proceedings of the 3rd International Workshop on Euler Diagrams, 2012

2011

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

James Burton

PhD thesis, 2011

A decision procedure for a decidable fragment of generalized constraint diagrams.

Jim Burton, Gem Stapleton, Ali Hamie

J. Vis. Lang. Comput., 2011

2010

An Attention Based Theory to Explore Affordances of Textual and Diagrammatic Proofs.

Peter Coppin, Jim Burton, Stephen Hockema

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2008

Diagrams and intuitive formal specifications.

James Burton

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

Types and Programs from Euler Diagrams.

James Burton

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008