Accessible Reasoning with Diagrams: From Cognition to Automation

DOI10.1007/978-3-319-91376-6_25OpenAlexW2804931460WikidataQ62046865 ScholiaQ62046865MaRDI QIDQ5878874FDOQ5878874

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

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

Mathematics Subject Classification ID

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

Cites Work

• Speedith: a reasoner for spider diagrams
• Isabelle. A generic theorem prover
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• How diagrams can support syllogistic reasoning: an experimental study
• Strategy analysis of non-consequence inference with Euler diagrams
• Reasoning with concept diagrams about antipatterns in ontologies

Cited In (6)

• Reasoning with concept diagrams about antipatterns in ontologies
• A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
• Investigating Diagrammatic Reasoning with Deep Neural Networks
• Diagrammatic reasoning: An artificial intelligence perspective
• Title not available (Why is that?)
• Title not available (Why is that?)

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)