Pages that link to "Item:Q2629222"
From MaRDI portal
The following pages link to Speedith: a reasoner for spider diagrams (Q2629222):
Displaying 8 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)
- Speedith: a reasoner for spider diagrams (Q2629222) (← 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)
