A reasoning system for satisfiability of diagrammatic specifications

DOI10.1007/978-3-319-97879-6_15MaRDI QIDQ6599622zbMATHFDO

Authors Yngve Lamo, Wendy MacCaull

Publication date 6 September 2024

zbMATH Keywords

dual tableauxreasoning systemdiagrammatic specificationdiagrammatic logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Diagrammatic specifications
• A Decidable Constraint Diagram Reasoning System
• Generalized constraint diagrams and the classical decision problem
• Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory
• A Logic of Graph Constraints

Cites work

• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 2006476 (Why is no real title available?)
• scientific article; zbMATH DE number 1501628 (Why is no real title available?)
• scientific article; zbMATH DE number 970626 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A Kripke semantics for the logic of Gelfand quantales
• A Logic of Type Relations and its Applications to Relational Databases
• A diagrammatic logic for object-oriented visual modeling
• A formalisation of the copy-modify-merge approach to version control in MDE
• Correspondence results for relational proof systems with application to the Lambek calculus
• Dual tableaux. Foundations, methodology, case studies
• Fundamentals of algebraic graph transformation
• Generalized sketches as a framework for completeness theorems. I-III
• Graph Transformations
• Graph structure and monadic second-order logic. A language-theoretic approach
• Quantifier-free logic for nondeterministic theories
• Reasoning with first order nondeterministic specifications
• Reasoning with graph constraints
• Relational proof system for linear and other substructural logics
• Relational proof system for relevant logics
• Relational semantics and a relational proof system for full Lambek calculus
• Symbolic graphs for attributed graph constraints
• Tableau-based reasoning for graph properties

This page was built for publication: A reasoning system for satisfiability of diagrammatic specifications

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