Speedith: a reasoner for spider diagrams
From MaRDI portal
Publication:2629222
DOI10.1007/s10849-015-9229-0zbMath1362.68252OpenAlexW2173235673WikidataQ62046871 ScholiaQ62046871MaRDI QIDQ2629222
Mateja Jamnik, Gem Stapleton, Matej Urbas
Publication date: 5 July 2016
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://research.brighton.ac.uk/en/publications/7b39d113-d683-4d4b-94c8-eaa918872c49
Related Items
Reasoning with concept diagrams about antipatterns in ontologies, Speedith: a reasoner for spider diagrams, Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\), Speedith, Accessible Reasoning with Diagrams: From Cognition to Automation, Investigating Diagrammatic Reasoning with Deep Neural Networks, Sequent Calculus for Euler Diagrams, Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof theory for reasoning with Euler diagrams: a logic translation and normalization
- On automating diagrammatic proofs of arithmetic arguments
- Edinburgh LCF. A mechanized logic of computation
- Automated theorem proving in Euler diagram systems
- Speedith: a reasoner for spider diagrams
- Diabelli: A Heterogeneous Proof System
- Constants and Functions in Peirce’s Existential Graphs
- The Expressiveness of Spider Diagrams
- Automated Reasoning
- Spider Diagrams
- Diagrammatic Representation and Inference