Investigating Diagrammatic Reasoning with Deep Neural Networks

DOI10.1007/978-3-319-91376-6_36OpenAlexW2804930488WikidataQ62046867 ScholiaQ62046867MaRDI QIDQ5878880

No author found.

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)

Uses Software

• Speedith
• Hyperproof
• GNMT

Cites Work

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

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