×
Compute Distance To:
Author ID: stapleton.gem Recent zbMATH articles by "Stapleton, Gem"
Published as: Stapleton, Gem; Stapleton, Gemma
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 71 times in 32 Documents Cited by Year
Spider diagrams. Zbl 1074.03006
Howse, John; Stapleton, Gem; Taylor, John
19
2005
The expressiveness of spider diagrams. Zbl 1067.03015
Stapleton, Gem; Howse, John; Taylor, John; Thompson, Simon
6
2004
A survey of reasoning systems based on Euler diagrams. Zbl 1272.68379
Stapleton, Gem
6
2005
Automated theorem proving in Euler diagram systems. Zbl 1132.68683
Stapleton, Gem; Masthoff, Judith; Flower, Jean; Fish, Andrew; Southern, Jane
6
2007
A decidable constraint diagram reasoning system. Zbl 1098.03040
Stapleton, Gem; Howse, John; Taylor, John
6
2005
What makes an effective representation of information: a formal account of observational advantages. Zbl 1368.68294
Stapleton, Gem; Jamnik, Mateja; Shimojima, Atsushi
5
2017
Corresponding regions in Euler diagrams. Zbl 1049.68101
Howse, John; Stapleton, Gemma; Flower, Jean; Taylor, John
4
2002
On the completeness of spider diagrams augmented with constants. Zbl 1401.03031
Stapleton, Gem; Howse, John; Thompson, Simon; Taylor, John; Chapman, Peter
3
2013
Speedith: a reasoner for spider diagrams. Zbl 1362.68252
Urbas, Matej; Jamnik, Mateja; Stapleton, Gem
3
2015
Minimizing clutter using absence in Venn-\(\text i^{\text e}\). Zbl 1394.68367
Burton, Jim; Chakraborty, Mihir; Choudhury, Lopamudra; Stapleton, Gem
3
2016
What can spider diagrams say? Zbl 1091.68658
Stapleton, Gem; Howse, John; Taylor, John; Thompson, Simon
2
2004
Generating readable proofs: A heuristic approach to theorem proving with spider diagrams. Zbl 1091.68592
Flower, Jean; Masthoff, Judith; Stapleton, Gem
2
2004
Automated theorem proving with spider diagrams. Zbl 1271.68210
Flower, Jean; Stapleton, Gem
2
2004
Diagrammatic representation and inference. 10th international conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018. Proceedings. Zbl 1387.68019
1
2018
A graph theoretic approach to general Euler diagram drawing. Zbl 1189.68134
Stapleton, Gem; Howse, John; Rodgers, Peter
1
2010
Generalized constraint diagrams and the classical decision problem. Zbl 1307.03010
Burton, Jim; Stapleton, Gem; Howse, John
1
2013
Special issue on Euler and Venn diagrams: Guest editors’ introduction. Zbl 1349.03005
1
2015
Diagrammatic representation and inference. 10th international conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018. Proceedings. Zbl 1387.68019
1
2018
What makes an effective representation of information: a formal account of observational advantages. Zbl 1368.68294
Stapleton, Gem; Jamnik, Mateja; Shimojima, Atsushi
5
2017
Minimizing clutter using absence in Venn-\(\text i^{\text e}\). Zbl 1394.68367
Burton, Jim; Chakraborty, Mihir; Choudhury, Lopamudra; Stapleton, Gem
3
2016
Speedith: a reasoner for spider diagrams. Zbl 1362.68252
Urbas, Matej; Jamnik, Mateja; Stapleton, Gem
3
2015
Special issue on Euler and Venn diagrams: Guest editors’ introduction. Zbl 1349.03005
1
2015
On the completeness of spider diagrams augmented with constants. Zbl 1401.03031
Stapleton, Gem; Howse, John; Thompson, Simon; Taylor, John; Chapman, Peter
3
2013
Generalized constraint diagrams and the classical decision problem. Zbl 1307.03010
Burton, Jim; Stapleton, Gem; Howse, John
1
2013
A graph theoretic approach to general Euler diagram drawing. Zbl 1189.68134
Stapleton, Gem; Howse, John; Rodgers, Peter
1
2010
Automated theorem proving in Euler diagram systems. Zbl 1132.68683
Stapleton, Gem; Masthoff, Judith; Flower, Jean; Fish, Andrew; Southern, Jane
6
2007
Spider diagrams. Zbl 1074.03006
Howse, John; Stapleton, Gem; Taylor, John
19
2005
A survey of reasoning systems based on Euler diagrams. Zbl 1272.68379
Stapleton, Gem
6
2005
A decidable constraint diagram reasoning system. Zbl 1098.03040
Stapleton, Gem; Howse, John; Taylor, John
6
2005
The expressiveness of spider diagrams. Zbl 1067.03015
Stapleton, Gem; Howse, John; Taylor, John; Thompson, Simon
6
2004
What can spider diagrams say? Zbl 1091.68658
Stapleton, Gem; Howse, John; Taylor, John; Thompson, Simon
2
2004
Generating readable proofs: A heuristic approach to theorem proving with spider diagrams. Zbl 1091.68592
Flower, Jean; Masthoff, Judith; Stapleton, Gem
2
2004
Automated theorem proving with spider diagrams. Zbl 1271.68210
Flower, Jean; Stapleton, Gem
2
2004
Corresponding regions in Euler diagrams. Zbl 1049.68101
Howse, John; Stapleton, Gemma; Flower, Jean; Taylor, John
4
2002

Citations by Year