6 found
Order:
See also
Gem Stapleton
University of Brighton
  1.  14
    Generating Readable Proofs: A Heuristic Approach to Theorem Proving with Spider Diagrams.Jean Flower, Judith Masthoff & Gem Stapleton - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 166--181.
  2.  14
    What Makes an Effective Representation of Information: A Formal Account of Observational Advantages.Gem Stapleton, Mateja Jamnik & Atsushi Shimojima - 2017 - Journal of Logic, Language and Information 26 (2):143-177.
    In order to effectively communicate information, the choice of representation is important. Ideally, a chosen representation will aid readers in making desired inferences. In this paper, we develop the theory of observation: what it means for one statement to be observable from another. Using observability, we give a formal characterization of the observational advantages of one representation of information over another. By considering observational advantages, people will be able to make better informed choices of representations of information. To demonstrate the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  14
    Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
    In this paper, we introduce Speedith which is an interactive diagrammatic theorem prover for the well-known language of spider diagrams. Speedith provides a way to input spider diagrams, transform them via the diagrammatic inference rules, and prove diagrammatic theorems. Speedith’s inference rules are sound and complete, extending previous research by including all the classical logic connectives. In addition to being a stand-alone proof system, Speedith is also designed as a program that plugs into existing general purpose theorem provers. This allows (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  9
    Special Issue on Euler and Venn Diagrams: Guest Editors’ Introduction.Jim Burton & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):357-359.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  4
    Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison.Gem Stapleton, Andrew Blake, Jim Burton & Anestis Touloumis - 2017 - Studia Logica 105 (4):787-815.
    The development of diagrammatic logics is strongly motivated by the desire to make formal reasoning accessible to broad audiences. One major research problem, for which surprisingly little progress has been made, is to understand how to choose between semantically equivalent diagrams from the perspective of human cognition. The particular focus of this paper is on choosing between diagrams that represent either the presence or absence of individuals. To understand how to best make this choice, we conducted an empirical study. We (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Diagrammatic Representation and Inference10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings.Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz & Francesco Bellucci (eds.) - 2018 - Cham, Switzerland: Springer-Verlag.
    No categories
     
    Export citation  
     
    Bookmark