Accessible Reasoning with Diagrams: From Cognition to Automation

DOI10.1007/978-3-319-91376-6_25MaRDI QIDQ5878874zbMATH OpenOpenAlexWikidataFDO

Authors Z. Shams, Yuri Sato, Mateja Jamnik, Gem Stapleton

Publication date 23 February 2023

Published in Diagrammatic Representation and Inference (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-91376-6_25

Mathematics Subject Classification ID

Knowledge representation (68T30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Automated theorem proving in Euler diagram systems
• Speedith: a reasoner for spider diagrams
• scientific article; zbMATH DE number 918108
• Diagrams and computational efficacy
• scientific article; zbMATH DE number 1787158

Cites work

• How diagrams can support syllogistic reasoning: an experimental study
• scientific article; zbMATH DE number 7015112 (Why is no real title available?)
• scientific article; zbMATH DE number 2086736 (Why is no real title available?)
• scientific article; zbMATH DE number 1852974 (Why is no real title available?)
• Isabelle. A generic theorem prover
• Reasoning with concept diagrams about antipatterns in ontologies
• Speedith: a reasoner for spider diagrams
• Strategy analysis of non-consequence inference with Euler diagrams

Cited in

(6)

• Reasoning with concept diagrams about antipatterns in ontologies
• scientific article; zbMATH DE number 1670622 (Why is no real title available?)
• A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
• scientific article; zbMATH DE number 2086730 (Why is no real title available?)
• Investigating Diagrammatic Reasoning with Deep Neural Networks
• Diagrammatic reasoning: An artificial intelligence perspective

Describes a project that uses

Uses Software

• Isabelle
• Speedith
• Hyperproof

This page was built for publication: Accessible Reasoning with Diagrams: From Cognition to Automation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5878874)