Automated theorem proving in Euler diagram systems

DOI10.1007/S10817-007-9069-YMaRDI QIDQ2467560zbMATH OpenOpenAlexFDO

Authors Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern

Publication date 22 January 2008

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-007-9069-y

zbMATH Keywords

Diagrammatic reasoningEuler diagramsHeuristicsVisual languages

Mathematics Subject Classification ID

Recommendations

• A diagrammatic inference system with Euler circles
• Speedith: a reasoner for spider diagrams
• A survey of reasoning systems based on Euler diagrams
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• scientific article; zbMATH DE number 1787156

Cites work

• A Decidable Constraint Diagram Reasoning System
• A survey of reasoning systems based on Euler diagrams
• Automated Reasoning
• Automated theorem proving in Euler diagram systems
• Automated theorem proving with spider diagrams
• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference
• Failure mode modular de-composition using spider diagrams
• Generalized best-first search strategies and the optimality of A*
• Graph Drawing
• scientific article; zbMATH DE number 1670622 (Why is no real title available?)
• scientific article; zbMATH DE number 1237648 (Why is no real title available?)
• scientific article; zbMATH DE number 1984688 (Why is no real title available?)
• scientific article; zbMATH DE number 1787156 (Why is no real title available?)
• scientific article; zbMATH DE number 2086735 (Why is no real title available?)
• scientific article; zbMATH DE number 2086736 (Why is no real title available?)
• scientific article; zbMATH DE number 2086747 (Why is no real title available?)
• scientific article; zbMATH DE number 1852974 (Why is no real title available?)
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• scientific article; zbMATH DE number 794693 (Why is no real title available?)
• scientific article; zbMATH DE number 972602 (Why is no real title available?)
• Propositional statecharts for agent interaction protocols
• Spider Diagrams
• The Expressiveness of Spider Diagrams

Cited in

(15)

• A graph theoretic approach to general Euler diagram drawing
• Automated theorem proving in Euler diagram systems
• Speedith: a reasoner for spider diagrams
• Equivalences in Euler-based diagram systems through normal forms
• On the completeness of spider diagrams augmented with constants
• Heterogeneous proofs: spider diagrams meet higher-order provers
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• scientific article; zbMATH DE number 1787153 (Why is no real title available?)
• scientific article; zbMATH DE number 1787156 (Why is no real title available?)
• Visual Mathematics: Diagrammatic Formalization and Proof
• Diagrammatic Representation and Inference
• Accessible Reasoning with Diagrams: From Cognition to Automation
• Investigating Diagrammatic Reasoning with Deep Neural Networks
• Sequent Calculus for Euler Diagrams
• Efficient on-line algorithms for Euler diagram region computation

Describes a project that uses

Uses Software

• Dr.Doodle
• Hyperproof

This page was built for publication: Automated theorem proving in Euler diagram systems

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