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

Research Output 2002 2019

Filter
Other contribution
2016

Proceedings of the 22nd International Conference on Conceptual Structures

Haermale, O. (ed.), Stapleton, G. (ed.) & Faron Zucker, C. (ed.), 1 Jan 2016, Annecy, France

Research output: Other contributionResearch

Open Access
File
2015

Journal of Logic, Language and Information, Special Issue on Euler and Venn Diagrams

Burton, J. (ed.) & Stapleton, G. (ed.), 1 Jan 2015, Hingham, MA, USA

Research output: Other contributionResearch

Open Access
File
language
2007

Euler diagram reasoning

Stapleton, G., 1 Jan 2007, 8 p. University of Brighton, Brighton, UK

Research output: Other contributionResearch

Open Access
File
Terminology
Documentation
Research

How to use Edith: the Euler diagram theorem prover

Stapleton, G., 1 Jan 2007, 14 p. University of Brighton, Brighton, UK

Research output: Other contributionResearch

Open Access
File
2006

Appendices for automated theorem proving in Euler diagram systems

Stapleton, G., Masthoff, J., Flower, J., Fish, A. & Southern, J., 2006, 35 p. Brighton, UK

Research output: Other contributionResearch

File
Automated Theorem Proving
Euler
Diagram
Clutter
Theorem Proving

Euler diagram-based notations

Howse, J., Bosworth, R., Fish, A., Stapleton, G., Taylor, J., Rodgers, P. & Thompson, S., 2006, Brighton, UK

Research output: Other contributionResearch

File
Conveying
2004

Reasoning with constraint diagrams: summary of PhD thesis

Stapleton, G., 2004

Research output: Other contributionResearch

File
Acoustic waves
Formal specification