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

• 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?)
• How diagrams can support syllogistic reasoning: an experimental study
• 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)

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

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)