A Decidable Constraint Diagram Reasoning System

DOI10.1093/LOGCOM/EXI041MaRDI QIDQ3371151zbMATH OpenOpenAlexFDO

Authors Gem Stapleton, John Howse, John Taylor

Publication date 21 February 2006

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exi041

zbMATH Keywords

diagrammatic reasoningformal methodsvisual logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)

Recommendations

• A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
• Generalized constraint diagrams and the classical decision problem
• Reasoning with graph constraints
• Diagrammatic Representation and Inference
• A Logic of Graph Constraints

Cited in

(12)

• Syllogisms in rudimentary linear logic, diagrammatically
• The semiotics of spider diagrams
• Automated theorem proving in Euler diagram systems
• Set Venn diagrams applied to inclusions and non-inclusions
• Singular propositions, negation and the square of opposition
• SOLAR: An automated deduction system for consequence finding
• Generalized constraint diagrams and the classical decision problem
• Visual Mathematics: Diagrammatic Formalization and Proof
• Diagrammatic Representation and Inference
• A reasoning system for satisfiability of diagrammatic specifications
• Efficient on-line algorithms for Euler diagram region computation
• Reasoning on temporal class diagrams: Undecidability results

This page was built for publication: A Decidable Constraint Diagram Reasoning System

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