Pages that link to "Item:Q2629222"
From MaRDI portal
The following pages link to Speedith: a reasoner for spider diagrams (Q2629222):
Displaying 11 items.
- Speedith (Q31282) (← links)
- Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\) (Q723644) (← links)
- Reasoning with concept diagrams about antipatterns in ontologies (Q2364685) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- Automated theorem proving with spider diagrams (Q2845530) (← links)
- Diagrammatic Representation and Inference (Q5714034) (← links)
- Accessible Reasoning with Diagrams: From Cognition to Automation (Q5878874) (← links)
- Investigating Diagrammatic Reasoning with Deep Neural Networks (Q5878880) (← links)
- Sequent Calculus for Euler Diagrams (Q5878881) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)