Gem Stapleton

According to our database, Gem Stapleton authored at least 122 papers between 2002 and 2023.

Collaborative distances:

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

2023

Human Visual Consistency-Checking in the Real World Ontologies.

Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams, Andrew Blake

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

2022

Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations.

Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng

CoRR, 2022

Oruga: an avatar of Representational Systems Theory.

Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng

Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), 2022

Evaluating Colour in Concept Diagrams.

Sean McGrath, Andrew Blake, Gem Stapleton, Anestis Touloumis, Peter Chapman, Mateja Jamnik, Zohreh Shams

Proceedings of the Diagrammatic Representation and Inference, 2022

2021

Evaluating Free Rides and Observational Advantages in Set Visualizations.

Andrew Blake, Gem Stapleton, Peter J. Rodgers, Anestis Touloumis

J. Log. Lang. Inf., 2021

Evaluating graphical manipulations in automatically laid out LineSets.

Dominique Tranquille, Gem Stapleton, Jim Burton, Peter Rodgers

Behav. Inf. Technol., 2021

2020

How to (Re)represent it?

Daniel Raggi, Gem Stapleton, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

Well-Matchedness in Euler and Linear Diagrams.

Gem Stapleton, Peter J. Rodgers, Anestis Touloumis, Andrew Blake

Proceedings of the Diagrammatic Representation and Inference, 2020

Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and Graphs.

Almas Baimagambetov, Gem Stapleton, Andrew Blake, John Howse

Proceedings of the Diagrammatic Representation and Inference, 2020

2019

Human inference beyond syllogisms: an approach using external graphical representations.

Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams

Cogn. Process., 2019

Exploring and Conceptualising Attestation.

Ian Oliver, John Howse, Gem Stapleton, Zohreh Shams, Mateja Jamnik

Proceedings of the Graph-Based Representation and Reasoning, 2019

2018

Spider Diagrams with Absence: Inference Rules for Clutter Reduction.

Gem Stapleton, Lopamudra Choudhury, Mihir K. Chakraborty

J. Vis. Lang. Sentient Syst., 2018

iCon: A Diagrammatic Theorem Prover for Ontologies.

Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Reasoning with Diagrams: Observation, Inference and Overspecificity (Plenary).

Gem Stapleton

Proceedings of the 24th International DMS Conference on Visualization and Visual Languages, 2018

Spider Diagrams with Absence.

Lopamudra Choudhury, Mihir K. Chakraborty, Gem Stapleton

Proceedings of the 24th International DMS Conference on Visualization and Visual Languages, 2018

The Observational Advantages of Euler Diagrams with Existential Import.

Gem Stapleton, Atsushi Shimojima, Mateja Jamnik

Proceedings of the Diagrammatic Representation and Inference, 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

Accessible Reasoning with Diagrams: From Cognition to Automation.

Zohreh Shams, Yuri Sato, Mateja Jamnik, Gem Stapleton

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

Generating Effective Euler Diagrams.

Almas Baimagambetov, John Howse, Gem Stapleton, Aidan J. Delaney

Proceedings of the Diagrammatic Representation and Inference, 2018

Deductive reasoning about expressive statements using external graphical representations.

Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

2017

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

Gem Stapleton, Andrew Blake, Jim Burton, Anestis Touloumis

Stud Logica, 2017

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

Gem Stapleton, Mateja Jamnik, Atsushi Shimojima

J. Log. Lang. Inf., 2017

Visualizing OWL 2 using diagrams.

Gem Stapleton, Michael Compton, John Howse

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

Visual logics help people: An evaluation of diagrammatic, textual and symbolic notations.

Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis

Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 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

How Network-based and set-based visualizations aid consistency checking in ontologies.

Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams, Andrew Blake

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

The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments.

Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis

Proceedings of the Semantic Web - ISWC 2017, 2017

Reasoning with Concept Diagrams About Antipatterns in Ontologies.

Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Reasoning with Concept Diagrams about Antipatterns.

Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Visualizing <i>ALC</i> Using Concept Diagrams.

Gem Stapleton, Aidan J. Delaney, Michael Compton, Peter Chapman

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2017

An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering.

Abdelraouf Hecham, Abdallah Arioua, Gem Stapleton, Madalina Croitoru

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

A task-based evaluation of combined set and network visualization.

Peter J. Rodgers, Gem Stapleton, Bilal Alsallakh, Luana Micallef, Robert Baker, Simon J. Thompson

Inf. Sci., 2016

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

Andrew Blake, Gem Stapleton, Peter Rodgers, John Howse

Inf. Sci., 2016

Diagrammatic Ontology Engineering.

Gem Stapleton

Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), 2016

Evaluating the Effects of Colour in LineSets.

Dominique Tranquille, Gem Stapleton, Jim Burton, Peter Rodgers

Proceedings of the Diagrammatic Representation and Inference, 2016

Effective Representation of Information: Generalizing Free Rides.

Gem Stapleton, Mateja Jamnik, Atsushi Shimojima

Proceedings of the Diagrammatic Representation and Inference, 2016

Observing the Truth: Diagrams, Sets and Free Rides.

Gem Stapleton

Proceedings of the International Workshop on Set Visualization and Reasoning co-located with 9th International Conference on the Theory and Application of Diagrams (Diagrams 2016), 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

Evaluating the Impact of Clutter in Linear Diagrams.

Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman

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

The Perception of Clutter in Linear Diagrams.

Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman

Proceedings of the Diagrammatic Representation and Inference, 2016

Evaluating Diagrammatic Patterns for Ontology Engineering.

Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie

Proceedings of the Diagrammatic Representation and Inference, 2016

2015

Visualizing Sets with Linear Diagrams.

Peter J. Rodgers, Gem Stapleton, Peter Chapman

ACM Trans. Comput. Hum. Interact., 2015

Combining Sketching and Traditional Diagram Editing Tools.

Gem Stapleton, Beryl Plimmer, Aidan J. Delaney, Peter J. Rodgers

ACM Trans. Intell. Syst. Technol., 2015

Speedith: A Reasoner for Spider Diagrams.

Matej Urbas, Mateja Jamnik, Gem Stapleton

J. Log. Lang. Inf., 2015

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

Jim Burton, Gem Stapleton

J. Log. Lang. Inf., 2015

2014

Special issue on diagram aesthetics and layout: Guest editors' introduction.

Beryl Plimmer, Peter Rodgers, Gem Stapleton

J. Vis. Lang. Comput., 2014

On the drawability of 3D Venn and Euler diagrams.

Jean Flower, Gem Stapleton, Peter Rodgers

J. Vis. Lang. Comput., 2014

A normal form for spider diagrams of order.

Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson

J. Vis. Lang. Comput., 2014

PaL diagrams: A linear diagram-based visual language.

Peter Chapman, Gem Stapleton, Peter J. Rodgers

J. Vis. Lang. Comput., 2014

Drawing Area-Proportional Euler Diagrams Representing Up To Three Sets.

Peter Rodgers, Gem Stapleton, Jean Flower, John Howse

IEEE Trans. Vis. Comput. Graph., 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

How Should We Use Colour in Euler Diagrams?

Andrew Blake, Gem Stapleton, Peter J. Rodgers, John Howse

Proceedings of the 7th International Symposium on Visual Information Communication and Interaction, 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 Sets: An Empirical Comparison of Diagram Types.

Peter Chapman, Gem Stapleton, Peter Rodgers, Luana Micallef, Andrew Blake

Proceedings of the Diagrammatic Representation and Inference, 2014

Visualizing Concepts with Euler Diagrams.

Jim Burton, Gem Stapleton, John Howse, Peter Chapman

Proceedings of the Diagrammatic Representation and Inference, 2014

The Impact of Shape on the Perception of Euler Diagrams.

Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse

Proceedings of the Diagrammatic Representation and Inference, 2014

Evaluating the Impact of Clutter in Euler Diagrams.

Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman

Proceedings of the Diagrammatic Representation and Inference, 2014

2013

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

Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson

J. Vis. Lang. Comput., 2013

On the expressiveness of second-order spider diagrams.

Peter Chapman, Gem Stapleton, Aidan J. Delaney

J. Vis. Lang. Comput., 2013

Generalized constraint diagrams and the classical decision problem.

Jim Burton, Gem Stapleton, John Howse

J. Log. Comput., 2013

Designing inference rules for spider diagrams.

Gem Stapleton, Mateja Jamnik, Matej Urbas

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

Protecting privacy: Towards a visual framework for handling end-user data.

Ian Oliver, John Howse, Gem Stapleton

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

Improving user comprehension of Euler diagrams.

Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 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

On the Completeness of Spider Diagrams Augmented with Constants.

Gem Stapleton, John Howse, Simon J. Thompson, John Taylor, Peter Chapman

Proceedings of the Visual Reasoning with Diagrams, 2013

2012

Automatically drawing Euler diagrams with circles.

Gem Stapleton, Jean Flower, Peter J. Rodgers, John Howse

J. Vis. Lang. Comput., 2012

Linking codecharts with programs.

Jon Nicholson, Aidan J. Delaney, Gem Stapleton

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

Formalizing the Syntax of Codecharts.

Jon Nicholson, Aidan J. Delaney, Gem Stapleton

Proceedings of the 18th International Conference on Distributed Multimedia Systems, 2012

Does the Orientation of an Euler Diagram Affect User Comprehension?

Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse

Proceedings of the 18th International Conference on Distributed Multimedia Systems, 2012

Speedith: A Diagrammatic Reasoner for Spider Diagrams.

Matej Urbas, Mateja Jamnik, Gem Stapleton, Jean Flower

Proceedings of the Diagrammatic Representation and Inference, 2012

What Can Concept Diagrams Say?

Gem Stapleton, John Howse, Peter Chapman, Ian Oliver, Aidan J. Delaney

Proceedings of the Diagrammatic Representation and Inference, 2012

Introducing 3D Venn and Euler Diagrams.

Peter J. Rodgers, Jean Flower, Gem Stapleton

Proceedings of the 3rd International Workshop on Euler Diagrams, 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

2011

Special issue on visual analytics and visual semantics: Guest Editors' introduction.

Gem Stapleton, Giuliana Vitiello, Monica Sebillo

J. Vis. Lang. Comput., 2011

A general method for drawing area-proportional Euler diagrams.

Gem Stapleton, Peter Rodgers, John Howse

J. Vis. Lang. Comput., 2011

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

Jim Burton, Gem Stapleton, Ali Hamie

J. Vis. Lang. Comput., 2011

Drawing Euler Diagrams with Circles: The Theory of Piercings.

Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers

IEEE Trans. Vis. Comput. Graph., 2011

Inductively Generating Euler Diagrams.

Gem Stapleton, Peter Rodgers, John Howse, Leishi Zhang

IEEE Trans. Vis. Comput. Graph., 2011

SketchSet: Creating Euler diagrams using pen or mouse.

Mengdi Wang, Beryl Plimmer, Paul Schmieder, Gem Stapleton, Peter Rodgers, Aidan J. Delaney

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

Drawing Euler diagrams with circles and ellipses.

Gem Stapleton, Peter Rodgers

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

Deriving sound inference rules for concept diagrams.

Peter Chapman, Gem Stapleton, John Howse, Ian Oliver

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

Visualizing Ontologies: A Case Study.

John Howse, Gem Stapleton, Kerry Taylor, Peter Chapman

Proceedings of the Semantic Web - ISWC 2011, 2011

Recognising Sketches of Euler Diagrams Augmented with Graphs.

Gem Stapleton, Aidan J. Delaney, Peter Rodgers, Beryl Plimmer

Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011

2010

A graph theoretic approach to general Euler diagram drawing.

Gem Stapleton, John Howse, Peter J. Rodgers

Theor. Comput. Sci., 2010

Euler Graph Transformations for Euler Diagram Layout.

Peter Rodgers, Gem Stapleton, John Howse, Leishi Zhang

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

Introducing Second-Order Spider Diagrams for Defining Regular Languages.

Peter Chapman, Gem Stapleton

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

Visual Reasoning about Ontologies.

John Howse, Gem Stapleton, Ian Oliver

Proceedings of the ISWC 2010 Posters & Demonstrations Track: Collected Abstracts, 2010

Recognizing Sketches of Euler Diagrams Drawn with Ellipses.

Aidan J. Delaney, Beryl Plimmer, Gem Stapleton, Peter J. Rodgers

Proceedings of the 16th International Conference on Distributed Multimedia Systems, 2010

On the Relative Expressiveness of Second-Order Spider Diagrams and Regular Expressions.

Peter Chapman, Gem Stapleton

Proceedings of the 16th International Conference on Distributed Multimedia Systems, 2010

Drawing Euler Diagrams with Circles.

Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers

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

Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons.

Peter Rodgers, Jean Flower, Gem Stapleton, John Howse

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

Drawing Euler Diagrams for Information Visualization.

John Howse, Peter Rodgers, Gem Stapleton

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

Fragments of Spider Diagrams of Order and Their Relative Expressiveness.

Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson

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

Creating a Second Order Diagrammatic Logic.

Peter Chapman, Gem Stapleton

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

2009

The expressiveness of spider diagrams augmented with constants.

Gem Stapleton, John Taylor, Simon J. Thompson, John Howse

J. Vis. Lang. Comput., 2009

Diagrammatic Formal Specification of a Configuration Control Platform.

John Howse, Steve Schuman, Gem Stapleton, Ian Oliver

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Changing euler diagram properties by edge transformation of euler dual graphs.

John Howse, Peter Rodgers, Gem Stapleton

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

Some Results for Drawing Area Proportional Venn3 With Convex Curves.

Peter Rodgers, Jean Flower, Gem Stapleton, John Howse

Proceedings of the 13th International Conference on Information Visualisation, 2009

2008

Evaluating and generalizing constraint diagrams.

Gem Stapleton, Aidan J. Delaney

J. Vis. Lang. Comput., 2008

Generating Euler Diagrams from Existing Layouts.

Gem Stapleton, John Howse, Peter Rodgers, Leishi Zhang

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Embedding Wellformed Euler Diagrams.

Peter Rodgers, Leishi Zhang, Gem Stapleton, Andrew Fish

Proceedings of the 12th International Conference on Information Visualisation, 2008

Abstract Euler Diagram Isomorphism.

Gem Stapleton, Andrew Fish, Peter Rodgers

Proceedings of the 14th International Conference on Distributed Multimedia Systems, 2008

Spider Diagrams Augmented with Constants: A Complete System.

Gem Stapleton

Proceedings of the 14th International Conference on Distributed Multimedia Systems, 2008

Visual Mathematics: Diagrammatic Formalization and Proof.

John Howse, Gem Stapleton

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Automated Theorem Proving in Euler Diagram Systems.

Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern

J. Autom. Reason., 2007

Properties of Euler Diagrams.

Gem Stapleton, Peter Rodgers, John Howse, John Taylor

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Towards Overcoming Deficiencies in Constraint Diagrams.

Gem Stapleton, Aidan J. Delaney

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Spider Diagrams of Order.

Aidan J. Delaney, Gem Stapleton

Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, 2007

2006

Generalizing Spiders.

Gem Stapleton, John Howse, Kate Toller

Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

Defining Euler Diagrams: Simple or What?.

Andrew Fish, Gem Stapleton

Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

2005

A Decidable Constraint Diagram Reasoning System.

Gem Stapleton, John Howse, John Taylor

J. Log. Comput., 2005

Spider Diagrams.

John Howse, Gem Stapleton, John Taylor

LMS J. Comput. Math., 2005

A New Language for the Visualization of Logic and Reasoning.

Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor

Proceedings of the 11th International Conference on Distributed Multimedia Systems, 2005

2004

Reasoning with constraint diagrams.

Gemmelia Eve Stapleton

PhD thesis, 2004

The Expressiveness of Spider Diagrams.

Gem Stapleton, John Howse, John Taylor, Simon J. Thompson

J. Log. Comput., 2004

A Survey of Reasoning Systems Based on Euler Diagrams.

Gem Stapleton

Proceedings of the First International Workshop on Euler Diagrams, 2004

Automated Theorem Proving with Spider Diagrams.

Jean Flower, Gem Stapleton

Proceedings of Computing: The Australasian Theory Symposium, 2004

What Can Spider Diagrams Say?

Gem Stapleton, John Howse, John Taylor, Simon J. Thompson

Proceedings of the Diagrammatic Representation and Inference, 2004

Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams.

Jean Flower, Judith Masthoff, Gem Stapleton

Proceedings of the Diagrammatic Representation and Inference, 2004

2002

Corresponding Regions in Euler Diagrams.

John Howse, Gemma Stapleton, Jean Flower, John Taylor

Proceedings of the Diagrammatic Representation and Inference, 2002