The following pages link to Gem Stapleton (Q1041224):
Displayed 22 items.
- A graph theoretic approach to general Euler diagram drawing (Q1041227) (← links)
- Minimizing clutter using absence in Venn-\(\text i^{\text e}\) (Q1664372) (← links)
- Visualizing \(\mathcal{ALC}\) using concept diagrams (Q2029594) (← links)
- Reasoning with concept diagrams about antipatterns in ontologies (Q2364685) (← links)
- What makes an effective representation of information: a formal account of observational advantages (Q2398204) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- (Q2845530) (← links)
- (Q2848472) (← links)
- On the Completeness of Spider Diagrams Augmented with Constants (Q2948608) (← links)
- A Decidable Constraint Diagram Reasoning System (Q3371151) (← links)
- The Expressiveness of Spider Diagrams (Q4659954) (← links)
- (Q4737279) (← links)
- Generalized constraint diagrams and the classical decision problem (Q4914418) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)
- Spider Diagrams (Q5697473) (← links)
- Diagrammatic Representation and Inference (Q5714027) (← links)
- Diagrammatic Representation and Inference (Q5714034) (← links)
- Generating Effective Euler Diagrams (Q5878860) (← links)
- Accessible Reasoning with Diagrams: From Cognition to Automation (Q5878874) (← links)
- The Observational Advantages of Euler Diagrams with Existential Import (Q5878875) (← links)
- Euler Diagrams Through the Looking Glass: From Extent to Intent (Q5878878) (← links)