Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGem Stapleton
Gemma Stapleton – Gemmelia Eve Stapleton
Person information
- affiliation: University of Brighton, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c87]Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams, Andrew Blake
:
Human Visual Consistency-Checking in the Real World Ontologies. VL/HCC 2023: 249-251- 2022
- [c86]Sean McGrath, Andrew Blake, Gem Stapleton, Anestis Touloumis, Peter Chapman, Mateja Jamnik, Zohreh Shams:
Evaluating Colour in Concept Diagrams. Diagrams 2022: 168-184 - [c85]Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng:
Oruga: an avatar of Representational Systems Theory. HLC 2022: 1-5 - [i1]Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng:
Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations. CoRR abs/2206.03172 (2022) - 2021
- [j35]Dominique Tranquille, Gem Stapleton, Jim Burton, Peter Rodgers:
Evaluating graphical manipulations in automatically laid out LineSets. Behav. Inf. Technol. 40(4): 361-384 (2021) - [j34]Andrew Blake, Gem Stapleton, Peter J. Rodgers, Anestis Touloumis:
Evaluating Free Rides and Observational Advantages in Set Visualizations. J. Log. Lang. Inf. 30(3): 557-600 (2021) - [e10]Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana:
Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings. Lecture Notes in Computer Science 12909, Springer 2021, ISBN 978-3-030-86061-5 [contents] - 2020
- [c84]Gem Stapleton, Peter J. Rodgers, Anestis Touloumis, Andrew Blake:
Well-Matchedness in Euler and Linear Diagrams. Diagrams 2020: 247-263 - [c83]Almas Baimagambetov, Gem Stapleton, Andrew Blake, John Howse:
Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and Graphs. Diagrams 2020: 323-331 - [c82]Daniel Raggi, Gem Stapleton, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng:
How to (Re)represent it? ICTAI 2020: 1224-1232
2010 – 2019
- 2019
- [j33]Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams:
Human inference beyond syllogisms: an approach using external graphical representations. Cogn. Process. 20(1): 103-115 (2019) - [c81]Ian Oliver, John Howse, Gem Stapleton, Zohreh Shams, Mateja Jamnik:
Exploring and Conceptualising Attestation. ICCS 2019: 131-145 - 2018
- [j32]Gem Stapleton, Lopamudra Choudhury, Mihir K. Chakraborty:
Spider Diagrams with Absence: Inference Rules for Clutter Reduction. J. Vis. Lang. Sentient Syst. 4: 20-37 (2018) - [c80]Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams:
Deductive reasoning about expressive statements using external graphical representations. CogSci 2018 - [c79]John Howse, Gem Stapleton, Jim Burton, Andrew Blake:
Picturing Problems: Solving Logic Puzzles Diagrammatically. SetVR@Diagrams 2018: 12-27 - [c78]Almas Baimagambetov, John Howse, Gem Stapleton, Aidan J. Delaney:
Generating Effective Euler Diagrams. Diagrams 2018: 39-54 - [c77]Zohreh Shams, Yuri Sato, Mateja Jamnik, Gem Stapleton:
Accessible Reasoning with Diagrams: From Cognition to Automation. Diagrams 2018: 247-263 - [c76]Gem Stapleton, Atsushi Shimojima, Mateja Jamnik:
The Observational Advantages of Euler Diagrams with Existential Import. Diagrams 2018: 313-329 - [c75]Gem Stapleton, Amirouche Moktefi, John Howse, Jim Burton:
Euler Diagrams Through the Looking Glass: From Extent to Intent. Diagrams 2018: 365-381 - [c74]Gem Stapleton:
Reasoning with Diagrams: Observation, Inference and Overspecificity (Plenary). DMSVIVA 2018: 1-7 - [c73]Lopamudra Choudhury, Mihir K. Chakraborty, Gem Stapleton:
Spider Diagrams with Absence. DMSVIVA 2018: 91-100 - [c72]Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato:
iCon: A Diagrammatic Theorem Prover for Ontologies. KR 2018: 204-209 - [e9]Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Pérez-Kriz, Francesco Bellucci:
Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Lecture Notes in Computer Science 10871, Springer 2018, ISBN 978-3-319-91375-9 [contents] - [e8]Gem Stapleton, Kang Zhang:
The 24th International DMS Conference on Visualization and Visual Languages, DMSVIVA 2018, Hotel Pullman, Redwood City, San Francisco Bay, USA, June 29 to 30, 2018. KSI Research Inc. and Knowledge Systems Institute Graduate School 2018, ISBN 1-891706-45-4 [contents] - [e7]Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton:
Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10775, Springer 2018, ISBN 978-3-319-78101-3 [contents] - 2017
- [j31]Gem Stapleton, Mateja Jamnik, Atsushi Shimojima:
What Makes an Effective Representation of Information: A Formal Account of Observational Advantages. J. Log. Lang. Inf. 26(2): 143-177 (2017) - [j30]Gem Stapleton, Andrew Blake, Jim Burton, Anestis Touloumis:
Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison. Stud Logica 105(4): 787-815 (2017) - [c71]Abdelraouf Hecham, Abdallah Arioua, Gem Stapleton, Madalina Croitoru:
An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering. Description Logics 2017 - [c70]Gem Stapleton, Aidan J. Delaney, Michael Compton, Peter Chapman:
Visualizing ALC Using Concept Diagrams. GKR 2017: 99-117 - [c69]Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato:
Reasoning with Concept Diagrams about Antipatterns. LPAR (Short Presentations) 2017: 27-42 - [c68]Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato:
Reasoning with Concept Diagrams About Antipatterns in Ontologies. CICM 2017: 255-271 - [c67]Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis:
The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments. ISWC (1) 2017: 20-36 - [c66]Dominique Tranquille, Gem Stapleton, Jim Burton, Peter J. Rodgers:
Evaluating the effects of size in linesets. VINCI 2017: 121-128 - [c65]Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams, Andrew Blake:
How Network-based and set-based visualizations aid consistency checking in ontologies. VINCI 2017: 137-141 - [c64]Gem Stapleton, Michael Compton, John Howse:
Visualizing OWL 2 using diagrams. VL/HCC 2017: 245-253 - [c63]Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis:
Visual logics help people: An evaluation of diagrammatic, textual and symbolic notations. VL/HCC 2017: 255-259 - 2016
- [j29]Andrew Blake, Gem Stapleton, Peter Rodgers, John Howse:
The impact of topological and graphical choices on the perception of Euler diagrams. Inf. Sci. 330: 455-482 (2016) - [j28]Peter J. Rodgers, Gem Stapleton, Bilal Alsallakh, Luana Micallef, Robert Baker, Simon J. Thompson:
A task-based evaluation of combined set and network visualization. Inf. Sci. 367-368: 58-79 (2016) - [c62]Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman:
Evaluating the Impact of Clutter in Linear Diagrams. SetVR@Diagrams 2016: 4-18 - [c61]Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie:
Evaluating Diagrammatic Patterns for Ontology Engineering. Diagrams 2016: 51-66 - [c60]Gem Stapleton:
Observing the Truth: Diagrams, Sets and Free Rides. SetVR@Diagrams 2016: 59-61 - [c59]Jim Burton, Mihir K. Chakraborty, Lopamudra Choudhury, Gem Stapleton:
Minimizing Clutter Using Absence in Venn-ie. Diagrams 2016: 107-122 - [c58]Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman:
The Perception of Clutter in Linear Diagrams. Diagrams 2016: 250-257 - [c57]Dominique Tranquille, Gem Stapleton, Jim Burton, Peter Rodgers:
Evaluating the Effects of Colour in LineSets. Diagrams 2016: 283-285 - [c56]Gem Stapleton, Mateja Jamnik, Atsushi Shimojima:
Effective Representation of Information: Generalizing Free Rides. Diagrams 2016: 296-299 - [c55]Gem Stapleton:
Diagrammatic Ontology Engineering. JOWO@FOIS 2016 - [e6]Ollivier Haemmerlé, Gem Stapleton, Catherine Faron-Zucker:
Graph-Based Representation and Reasoning - 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings. Lecture Notes in Computer Science 9717, Springer 2016, ISBN 978-3-319-40984-9 [contents] - [e5]Alan F. Blackwell, Beryl Plimmer, Gem Stapleton:
2016 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2016, Cambridge, United Kingdom, September 4-8, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-0252-8 [contents] - 2015
- [j27]Jim Burton, Gem Stapleton:
Special issue on Euler and Venn Diagrams: Guest Editors' introduction. J. Log. Lang. Inf. 24(4): 357-359 (2015) - [j26]Matej Urbas, Mateja Jamnik, Gem Stapleton:
Speedith: A Reasoner for Spider Diagrams. J. Log. Lang. Inf. 24(4): 487-540 (2015) - [j25]Gem Stapleton, Beryl Plimmer, Aidan J. Delaney, Peter J. Rodgers:
Combining Sketching and Traditional Diagram Editing Tools. ACM Trans. Intell. Syst. Technol. 6(1): 10:1-10:29 (2015) - [j24]Peter J. Rodgers, Gem Stapleton, Peter Chapman:
Visualizing Sets with Linear Diagrams. ACM Trans. Comput. Hum. Interact. 22(6): 27:1-27:39 (2015) - [e4]Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton:
Graph Structures for Knowledge Representation and Reasoning - 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9501, Springer 2015, ISBN 978-3-319-28701-0 [contents] - 2014
- [j23]Peter Rodgers, Gem Stapleton, Jean Flower, John Howse:
Drawing Area-Proportional Euler Diagrams Representing Up To Three Sets. IEEE Trans. Vis. Comput. Graph. 20(1): 1 (2014) - [j22]Beryl Plimmer, Peter Rodgers, Gem Stapleton:
Special issue on diagram aesthetics and layout: Guest editors' introduction. J. Vis. Lang. Comput. 25(2): 55-56 (2014) - [j21]Jean Flower, Gem Stapleton, Peter Rodgers:
On the drawability of 3D Venn and Euler diagrams. J. Vis. Lang. Comput. 25(3): 186-209 (2014) - [j20]Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson:
A normal form for spider diagrams of order. J. Vis. Lang. Comput. 25(6): 935-944 (2014) - [j19]Peter Chapman, Gem Stapleton, Peter J. Rodgers:
PaL diagrams: A linear diagram-based visual language. J. Vis. Lang. Comput. 25(6): 945-954 (2014) - [c54]Jim Burton, Gem Stapleton, John Howse, Peter Chapman:
Visualizing Concepts with Euler Diagrams. Diagrams 2014: 54-56 - [c53]Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman:
Evaluating the Impact of Clutter in Euler Diagrams. Diagrams 2014: 108-122 - [c52]Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse:
The Impact of Shape on the Perception of Euler Diagrams. Diagrams 2014: 123-137 - [c51]Peter Chapman, Gem Stapleton, Peter Rodgers, Luana Micallef, Andrew Blake:
Visualizing Sets: An Empirical Comparison of Diagram Types. Diagrams 2014: 146-160 - [c50]Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson:
A Normal Form for Spider Diagrams of Order. DMS 2014: 300-309 - [c49]Peter Chapman, Gem Stapleton, Peter Rodgers:
PaL Diagrams: A Linear Diagram-Based Visual Language. DMS 2014: 310-320 - [c48]Gem Stapleton, John Howse, Adrienne Bonnington, Jim Burton:
A Vision for Diagrammatic Ontology Engineering. VISUAL@EKAW 2014: 1-13 - [c47]Andrew Blake, Gem Stapleton, Peter J. Rodgers, John Howse:
How Should We Use Colour in Euler Diagrams? VINCI 2014: 149 - [c46]Mithileysh Sathiyanarayanan, Gem Stapleton, Jim Burton, John Howse:
Properties of euler diagrams and graphs in combination. VL/HCC 2014: 217-218 - [e3]Jim Burton, Gem Stapleton, Karsten Klein:
Joint Proceedings of the Fourth International Workshop on Euler Diagrams and the First International Workshop on Graph Visualization in Practice co-located with Diagrams 2014, Melbourne, Australia, July 28th and 1st August 2014. CEUR Workshop Proceedings 1244, CEUR-WS.org 2014 [contents] - 2013
- [j18]Jim Burton, Gem Stapleton, John Howse:
Generalized constraint diagrams and the classical decision problem. J. Log. Comput. 23(1): 199-262 (2013) - [j17]Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson:
On the expressiveness of spider diagrams and commutative star-free regular languages. J. Vis. Lang. Comput. 24(4): 273-288 (2013) - [j16]Peter Chapman, Gem Stapleton, Aidan J. Delaney:
On the expressiveness of second-order spider diagrams. J. Vis. Lang. Comput. 24(5): 327-349 (2013) - [c45]Gem Stapleton, John Howse, Kerry Taylor, Aidan J. Delaney, Jim Burton, Peter Chapman:
Towards Diagrammatic Ontology Patterns. WOP 2013 - [c44]Gem Stapleton, Mateja Jamnik, Matej Urbas:
Designing inference rules for spider diagrams. VL/HCC 2013: 19-26 - [c43]Ian Oliver, John Howse, Gem Stapleton:
Protecting privacy: Towards a visual framework for handling end-user data. VL/HCC 2013: 67-74 - [c42]Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse:
Improving user comprehension of Euler diagrams. VL/HCC 2013: 189-190 - [p1]Gem Stapleton, John Howse, Simon J. Thompson, John Taylor, Peter Chapman:
On the Completeness of Spider Diagrams Augmented with Constants. Visual Reasoning with Diagrams 2013: 101-133 - 2012
- [j15]Gem Stapleton, Jean Flower, Peter J. Rodgers, John Howse:
Automatically drawing Euler diagrams with circles. J. Vis. Lang. Comput. 23(3): 163-193 (2012) - [c41]Jim Burton, Gem Stapleton, John Howse:
Completeness Proof Strategies for Euler Diagram Logics. ED@Diagrams 2012: 2-16 - [c40]Peter J. Rodgers, Jean Flower, Gem Stapleton:
Introducing 3D Venn and Euler Diagrams. ED@Diagrams 2012: 92-106 - [c39]Matej Urbas, Mateja Jamnik, Gem Stapleton, Jean Flower:
Speedith: A Diagrammatic Reasoner for Spider Diagrams. Diagrams 2012: 163-177 - [c38]Gem Stapleton, John Howse, Peter Chapman, Ian Oliver, Aidan J. Delaney:
What Can Concept Diagrams Say? Diagrams 2012: 291-293 - [c37]Jim Burton, Gem Stapleton, John Howse:
Completeness Proofs for Diagrammatic Logics. Diagrams 2012: 318-320 - [c36]Jon Nicholson, Aidan J. Delaney, Gem Stapleton:
Formalizing the Syntax of Codecharts. DMS 2012: 181-184 - [c35]Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse:
Does the Orientation of an Euler Diagram Affect User Comprehension? DMS 2012: 185-190 - [c34]Jon Nicholson, Aidan J. Delaney, Gem Stapleton:
Linking codecharts with programs. VL/HCC 2012: 259-260 - [e2]Martin Erwig, Gem Stapleton, Gennaro Costagliola:
2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012. IEEE 2012, ISBN 978-1-4673-0852-6 [contents] - 2011
- [j14]Gem Stapleton, Peter Rodgers, John Howse, Leishi Zhang:
Inductively Generating Euler Diagrams. IEEE Trans. Vis. Comput. Graph. 17(1): 88-100 (2011) - [j13]Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers:
Drawing Euler Diagrams with Circles: The Theory of Piercings. IEEE Trans. Vis. Comput. Graph. 17(7): 1020-1032 (2011) - [j12]Jim Burton, Gem Stapleton, Ali Hamie:
A decision procedure for a decidable fragment of generalized constraint diagrams. J. Vis. Lang. Comput. 22(1): 90-105 (2011) - [j11]Gem Stapleton, Giuliana Vitiello, Monica Sebillo:
Special issue on visual analytics and visual semantics: Guest Editors' introduction. J. Vis. Lang. Comput. 22(3): 171-172 (2011) - [j10]Gem Stapleton, Peter Rodgers, John Howse:
A general method for drawing area-proportional Euler diagrams. J. Vis. Lang. Comput. 22(6): 426-442 (2011) - [c33]Gem Stapleton, Aidan J. Delaney, Peter Rodgers, Beryl Plimmer:
Recognising Sketches of Euler Diagrams Augmented with Graphs. DMS 2011: 279-284 - [c32]John Howse, Gem Stapleton, Kerry Taylor, Peter Chapman:
Visualizing Ontologies: A Case Study. ISWC (1) 2011: 257-272 - [c31]Mengdi Wang, Beryl Plimmer, Paul Schmieder, Gem Stapleton, Peter Rodgers, Aidan J. Delaney:
SketchSet: Creating Euler diagrams using pen or mouse. VL/HCC 2011: 75-82 - [c30]Peter Chapman, Gem Stapleton, John Howse, Ian Oliver:
Deriving sound inference rules for concept diagrams. VL/HCC 2011: 87-94 - [c29]Gem Stapleton, Peter Rodgers:
Drawing Euler diagrams with circles and ellipses. VL/HCC 2011: 209-212 - 2010
- [j9]Gem Stapleton, John Howse, Peter J. Rodgers:
A graph theoretic approach to general Euler diagram drawing. Theor. Comput. Sci. 411(1): 91-112 (2010) - [c28]John Howse, Peter Rodgers, Gem Stapleton:
Drawing Euler Diagrams for Information Visualization. Diagrams 2010: 4 - [c27]Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers:
Drawing Euler Diagrams with Circles. Diagrams 2010: 23-38 - [c26]Peter Rodgers, Jean Flower, Gem Stapleton, John Howse:
Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons. Diagrams 2010: 54-68 - [c25]Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson:
Fragments of Spider Diagrams of Order and Their Relative Expressiveness. Diagrams 2010: 69-83 - [c24]Peter Chapman, Gem Stapleton:
Creating a Second Order Diagrammatic Logic. Diagrams 2010: 298-300 - [c23]Peter Chapman, Gem Stapleton:
On the Relative Expressiveness of Second-Order Spider Diagrams and Regular Expressions. DMS 2010: 283-288 - [c22]Aidan J. Delaney, Beryl Plimmer, Gem Stapleton, Peter J. Rodgers:
Recognizing Sketches of Euler Diagrams Drawn with Ellipses. DMS 2010: 305-310 - [c21]John Howse, Gem Stapleton, Ian Oliver:
Visual Reasoning about Ontologies. ISWC (Posters & Demos) 2010 - [c20]Peter Rodgers, Gem Stapleton, John Howse, Leishi Zhang:
Euler Graph Transformations for Euler Diagram Layout. VL/HCC 2010: 111-118 - [c19]Peter Chapman, Gem Stapleton:
Introducing Second-Order Spider Diagrams for Defining Regular Languages. VL/HCC 2010: 159-167
2000 – 2009
- 2009
- [j8]Gem Stapleton, John Taylor, Simon J. Thompson, John Howse:
The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. 20(1): 30-49 (2009) - [c18]Peter Rodgers, Jean Flower, Gem Stapleton, John Howse:
Some Results for Drawing Area Proportional Venn3 With Convex Curves. IV 2009: 667-672 - [c17]John Howse, Peter Rodgers, Gem Stapleton:
Changing euler diagram properties by edge transformation of euler dual graphs. VL/HCC 2009: 177-184 - [c16]John Howse, Steve Schuman, Gem Stapleton, Ian Oliver:
Diagrammatic Formal Specification of a Configuration Control Platform. REFINE@FMWeek 2009: 87-104 - 2008
- [j7]Gem Stapleton, John Howse, Peter Rodgers, Leishi Zhang:
Generating Euler Diagrams from Existing Layouts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 13 (2008) - [j6]Gem Stapleton, Aidan J. Delaney:
Evaluating and generalizing constraint diagrams. J. Vis. Lang. Comput. 19(4): 499-521 (2008) - [c15]John Howse, Gem Stapleton:
Visual Mathematics: Diagrammatic Formalization and Proof. AISC/MKM/Calculemus 2008: 478-493 - [c14]Gem Stapleton:
Spider Diagrams Augmented with Constants: A Complete System. DMS 2008: 292-299 - [c13]Gem Stapleton, Andrew Fish, Peter Rodgers:
Abstract Euler Diagram Isomorphism. DMS 2008: 310-317 - [c12]Peter Rodgers, Leishi Zhang, Gem Stapleton, Andrew Fish:
Embedding Wellformed Euler Diagrams. IV 2008: 585-593 - [e1]Gem Stapleton, John Howse, John Lee:
Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings. Lecture Notes in Computer Science 5223, Springer 2008, ISBN 978-3-540-87729-5 [contents] - 2007
- [j5]Gem Stapleton, Peter Rodgers, John Howse, John Taylor:
Properties of Euler Diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7 (2007) - [j4]Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern:
Automated Theorem Proving in Euler Diagram Systems. J. Autom. Reason. 39(4): 431-470 (2007) - [c11]Aidan J. Delaney, Gem Stapleton:
Spider Diagrams of Order. VLL 2007: 27-39 - [c10]Gem Stapleton, Aidan J. Delaney:
Towards Overcoming Deficiencies in Constraint Diagrams. VL/HCC 2007: 33-40 - 2006
- [c9]Andrew Fish, Gem Stapleton:
Defining Euler Diagrams: Simple or What?. Diagrams 2006: 109-111 - [c8]Gem Stapleton, John Howse, Kate Toller:
Generalizing Spiders. Diagrams 2006: 148-150 - 2005
- [j3]John Howse, Gem Stapleton, John Taylor:
Spider Diagrams. LMS J. Comput. Math. 8: 145-194 (2005) - [j2]Gem Stapleton, John Howse, John Taylor:
A Decidable Constraint Diagram Reasoning System. J. Log. Comput. 15(6): 975-1008 (2005) - [c7]Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor:
A New Language for the Visualization of Logic and Reasoning. DMS 2005: 287-292 - 2004
- [b1]Gemmelia Eve Stapleton:
Reasoning with constraint diagrams. University of Brighton, UK, 2004 - [j1]Gem Stapleton, John Howse, John Taylor, Simon J. Thompson:
The Expressiveness of Spider Diagrams. J. Log. Comput. 14(6): 857-880 (2004) - [c6]Gem Stapleton, John Howse, John Taylor, Simon J. Thompson:
What Can Spider Diagrams Say? Diagrams 2004: 112-127 - [c5]Jean Flower, Judith Masthoff, Gem Stapleton:
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams. Diagrams 2004: 166-181 - [c4]Gem Stapleton, John Howse, John Taylor, Simon J. Thompson:
The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC 2004: 91-98 - [c3]Gem Stapleton:
A Survey of Reasoning Systems Based on Euler Diagrams. Euler 2004: 127-151 - [c2]Jean Flower, Gem Stapleton:
Automated Theorem Proving with Spider Diagrams. CATS 2004: 246-263 - 2002
- [c1]John Howse, Gemma Stapleton, Jean Flower, John Taylor:
Corresponding Regions in Euler Diagrams. Diagrams 2002: 76-90
Coauthor Index
[c83] [c81] [c79] [c78] [c75] [c67] [c64] [c63] [j29] [c62] [c61] [c58] [j23] [c54] [c53] [c52] [c48] [c47] [c46] [j18] [c45] [c43] [c42] [p1] [j15] [c41] [c38] [c37] [c35] [j14] [j13] [j10] [c32] [c30] [j9] [c28] [c27] [c26] [c21] [c20] [j8] [c18] [c17] [c16] [j7] [c15] [e1] [j5] [c8] [j3] [j2] [c7] [j1] [c6] [c4] [c1]
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-04 20:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
