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

Research Output 2002 2018

Filter
Article
2018

Human inference beyond syllogisms: an approach using external graphical representations

Sato, Y., Stapleton, G., Jamnik, M. & Shams, Z. 3 Aug 2018 p. 1-13

Research output: Contribution to journalArticle

Ontology
Experiments

Spider Diagrams with Absence: Inference Rules for Clutter Reduction

Stapleton, G., Choudhury, L. & Chakraborty, M. 17 Sep 2018 (Accepted/In press)

Research output: Contribution to journalArticle

Open Access
File
Acoustic waves
2017

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

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

Research output: Contribution to journalArticle

Open Access
File
Cognition
Research

What Makes an Effective Representation of Information: A Formal Account of Observational Advantages

Stapleton, G., Jamnik, M. & Shimojima, A. 7 Apr 2017 26, 2, p. 143-177 35 p.

Research output: Contribution to journalArticle

Open Access
File
2016

A Task-Based Evaluation of Combined Set and Network Visualization

Rodgers, P., Stapleton, G., Alsallakh, B., Michallef, L., Baker, R. & Thompson, S. 2 Jun 2016 367-8, p. 58-79 22 p.

Research output: Contribution to journalArticle

Open Access
File
Crime
Electric network analysis
Gene expression
Visualization
2015

Combining sketching and traditional diagram editing tools

Stapleton, G., Plimmer, B., Delaney, A. & Rodgers, P. 1 Mar 2015 6, 1

Research output: Contribution to journalArticle

Visualization
Syntactics

Speedith: A reasoner for spider diagrams

Urbas, M., Jamnik, M. & Stapleton, G. 1 Dec 2015 24, 4, p. 487-540 54 p.

Research output: Contribution to journalArticle

Open Access
File
Acoustic waves
Formal verification

The impact of topological and graphical choices on the perception of Euler diagrams

Blake, A., Stapleton, G., Rodgers, P. & Howse, J. 15 May 2015 330, p. 455-482 28 p.

Research output: Contribution to journalArticle

Open Access
File
diagram
network analysis
social network
crime

Visualizing Sets with Linear Diagrams

Rodgers, P., Stapleton, G. & Chapman, P. 1 Sep 2015 22, 6

Research output: Contribution to journalArticle

Open Access
File
Visualization
Human computer interaction
Color
2014

A normal form for spider diagrams of order

Delaney, A., Stapleton, G., Taylor, J. & Thompson, S. 1 Dec 2014 25, 6, p. 935-944 10 p.

Research output: Contribution to journalArticle

Spiders
Normal Form
Diagram
Reasoning
Logic

Drawing area-proportional Euler diagrams representing up to three sets

Rodgers, P., Stapleton, G., Flower, J. & Howse, J. 1 Jan 2014 20, 1, p. 56-69 14 p.

Research output: Contribution to journalArticle

Drawing (graphics)
Visualization
Industry
Experiments

On the drawability of 3D venn and euler diagrams

Flower, J., Stapleton, G. & Rodgers, P. 1 Jan 2014 25, 3, p. 186-209 24 p.

Research output: Contribution to journalArticle

File
Labels

PaL Diagrams: a linear diagram-based visual language

Chapman, P., Stapleton, G. & Rodgers, P. 1 Jan 2014 25, 6, p. 945-954 10 p.

Research output: Contribution to journalArticle

Open Access
File
Visual languages
2013

Generalized constraint diagrams and the classical decision problem

Burton, J., Stapleton, G. & Howse, J. 1 Jan 2013 23, 1, p. 199-262 64 p.

Research output: Contribution to journalArticle

Syntactics
Semantics
Acoustic waves

On the expressiveness of second-order spider diagrams

Chapman, P., Stapleton, G. & Delaney, A. 1 Oct 2013 24, 5, p. 327-349 23 p.

Research output: Contribution to journalArticle

On the expressiveness of spider diagrams and commutative star-free regular languages

Delaney, A., Stapleton, G., Taylor, J. & Thompson, S. 27 Feb 2013 24, 4, p. 273-288 16 p.

Research output: Contribution to journalArticle

Spiders
Regular Languages
Expressiveness
Star
Diagram
2012

Automatically drawing Euler diagrams with circles

Stapleton, G., Flower, J., Rodgers, P. & Howse, J. 1 Jan 2012 23, 3, p. 163-193 31 p.

Research output: Contribution to journalArticle

File
Polynomials
2011

A decision procedure for a decidable fragment of generalized constraint diagrams

Burton, J., Stapleton, G. & Hamie, A. 28 Feb 2011 22, 1, p. 90-105 16 p.

Research output: Contribution to journalArticle

A general method for drawing area-proportional Euler diagrams

Stapleton, G., Rodgers, P. & Howse, J. 22 Aug 2011 22, 6, p. 426-442 17 p.

Research output: Contribution to journalArticle

Specifications

Drawing Euler diagrams with circles: the theory of piercings

Stapleton, G., Zhang, L., Howse, J. & Rodgers, P. 1 Jul 2011 17, 7, p. 1020-1032 13 p.

Research output: Contribution to journalArticle

Euler
Circle
Diagram
Curve
Polygon

Inductively generating Euler diagrams

Stapleton, G., Rodgers, P., Howse, J. & Zhang, L. 1 Jan 2011 17, 1, p. 88-100 13 p.

Research output: Contribution to journalArticle

Visualization
Specifications
2010

A graph theoretic approach to general euler diagram drawing

Stapleton, G., Howse, J. & Rodgers, P. 1 Jan 2010 411, 1, p. 91-112 22 p.

Research output: Contribution to journalArticle

2009

The expressiveness of spider diagrams augmented with constants

Stapleton, G., Taylor, J., Thompson, S. & Howse, J. 1 Feb 2009 20, 1, p. 91-98 8 p.

Research output: Contribution to journalArticle

Acoustic waves
Visual languages
Syntactics
Semantics
2008

Evaluating and generalizing constraint diagrams

Stapleton, G. & Delaney, A. 1 Aug 2008 19, 4, p. 499-521 23 p.

Research output: Contribution to journalArticle

Unified Modeling Language
Semantics
Specifications
2007

Automated theorem proving in Euler diagram systems

Stapleton, G., Masthoff, J., Flower, J., Fish, A. & Southern, J. 1 Jun 2007 39, 4, p. 431-470 40 p.

Research output: Contribution to journalArticle

Theorem proving
Acoustic waves
2005

A decidable constraint diagram reasoning system

Stapleton, G., Howse, J. & Taylor, J. 1 Dec 2005 15, 6, p. 975-1008 34 p.

Research output: Contribution to journalArticle

Information systems
Semantics
Acoustic waves
Engineers

A survey of reasoning systems based on Euler diagrams

Stapleton, G. 1 Jun 2005 134, p. 127-151 25 p.

Research output: Contribution to journalArticle

Conveying

Spider diagrams

Howse, J., Stapleton, G. & Taylor, J. 1 Jan 2005 8, p. 145-194 50 p.

Research output: Contribution to journalArticle

Diagrams
Syntax
Logicians
First-order Logic
Leonhard Euler
2004

Automated theorem proving with spider diagrams

Flower, J. & Stapleton, G. 16 Feb 2004 91, p. 246-263 18 p.

Research output: Contribution to journalArticle

Automated Theorem Proving
Spiders
Diagram
Counterexample
Tool Support

The expressiveness of spider diagrams

Stapleton, G., Howse, J., Taylor, J. & Thompson, S. 1 Dec 2004 14, 6, p. 857-880 24 p.

Research output: Contribution to journalArticle

Spiders
Expressiveness
Diagram
Visual Languages
Predicate Logic