A reasoning system for satisfiability of diagrammatic specifications

DOI10.1007/978-3-319-97879-6_15zbMATH Open1544.68135MaRDI QIDQ6599622FDOQ6599622

Wendy MacCaull, Yngve Lamo

Publication date: 6 September 2024

zbMATH Keywords

dual tableauxreasoning systemdiagrammatic specificationdiagrammatic logic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A formalisation of the copy-modify-merge approach to version control in MDE
• Dual tableaux. Foundations, methodology, case studies
• Fundamentals of algebraic graph transformation
• A diagrammatic logic for object-oriented visual modeling
• Graph Transformations
• Generalized sketches as a framework for completeness theorems. I-III
• Reasoning with graph constraints
• Correspondence results for relational proof systems with application to the Lambek calculus
• Symbolic graphs for attributed graph constraints
• A Kripke semantics for the logic of Gelfand quantales
• Quantifier-free logic for nondeterministic theories
• Title not available (Why is that?)
• Relational proof system for relevant logics
• Reasoning with first order nondeterministic specifications
• Relational proof system for linear and other substructural logics
• Tableau-Based Reasoning for Graph Properties
• Relational semantics and a relational proof system for full Lambek calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Logic of Type Relations and its Applications to Relational Databases

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)