Accessible Reasoning with Diagrams: From Cognition to Automation
From MaRDI portal
Publication:5878874
DOI10.1007/978-3-319-91376-6_25OpenAlexW2804931460WikidataQ62046865 ScholiaQ62046865MaRDI QIDQ5878874
Gem Stapleton, Mateja Jamnik, Z. Shams, Yuri Sato
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
Knowledge representation (68T30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Uses Software
Cites Work
- Isabelle. A generic theorem prover
- Strategy analysis of non-consequence inference with Euler diagrams
- Reasoning with concept diagrams about antipatterns in ontologies
- How diagrams can support syllogistic reasoning: an experimental study
- Speedith: a reasoner for spider diagrams
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Accessible Reasoning with Diagrams: From Cognition to Automation