Speedith: a reasoner for spider diagrams

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

zbMATH Keywords

automated reasoningknowledge representationdiagrammatic reasoninginteractive theorem proving

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

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

• SketchSet
• Tahuti
• Diabelli
• SketchNode
• Tesseract

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