Speedith

swMATH19455MaRDI QIDQ31282FDOQ31282

Author name not available (Why is that?)

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)

• Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\)
• Diabelli: A Heterogeneous Proof System
• Sequent Calculus for Euler Diagrams
• Reasoning with concept diagrams about antipatterns in ontologies
• Dr.Doodle
• SketchSet
• Tahuti
• SOVA
• Diabelli
• Openproof
• SketchNode
• Hyperproof
• VOWL
• Tesseract
• Inspection and selection of representations
• Investigating Diagrammatic Reasoning with Deep Neural Networks
• Accessible Reasoning with Diagrams: From Cognition to Automation
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams

This page was built for software: Speedith