Investigating Diagrammatic Reasoning with Deep Neural Networks

DOI10.1007/978-3-319-91376-6_36MaRDI QIDQ5878880zbMATH OpenOpenAlexWikidataFDO

Authors

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_36

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Logic in artificial intelligence (68T27)

Recommendations

• Diagrammatic reasoning: An artificial intelligence perspective
• Diagrammic reasoning in AI.
• Accessible Reasoning with Diagrams: From Cognition to Automation
• scientific article; zbMATH DE number 1787151
• scientific article; zbMATH DE number 1682685
• scientific article; zbMATH DE number 2086760
• Human diagrammatic reasoning and seeing-as
• scientific article; zbMATH DE number 1670623

Cites work

• Automated theorem proving in Euler diagram systems
• Euler’s visual logic
• On automating diagrammatic proofs of arithmetic arguments
• Speedith: a reasoner for spider diagrams

Cited in

(3)

• Embedding decision diagrams into generative adversarial networks
• scientific article; zbMATH DE number 1670622 (Why is no real title available?)
• Diagrammatic reasoning: An artificial intelligence perspective

Describes a project that uses

Uses Software

• Speedith
• Hyperproof
• GNMT

This page was built for publication: Investigating Diagrammatic Reasoning with Deep Neural Networks

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