Speedith

MaRDI QIDQ31282swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-31223-6_19

Described by source

• Speedith: a reasoner for spider diagrams

Cited in

(18)

• Dr.Doodle
• Inspection and selection of representations
• Reasoning with concept diagrams about antipatterns in ontologies
• SketchSet
• Diabelli: A Heterogeneous Proof System
• Tahuti
• Diabelli
• SketchNode
• Openproof
• Hyperproof
• SOVA
• VOWL
• Tesseract
• 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
• Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\)

This page was built for software: Speedith