Tableau-based reasoning for graph properties

DOI10.1007/978-3-319-09108-2_2MaRDI QIDQ3192220zbMATH OpenOpenAlexFDO

Authors Leen Lambers, Fernando Orejas

Publication date 26 September 2014

Published in Graph Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-09108-2_2

zbMATH Keywords

automated deductiongraph transformationgraph propertiesvisual modellinggraph logic

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Structural characterization of families of graphs (05C75) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Recommendations

• A navigational logic for reasoning about graph properties
• Towards a navigational logic for graphical structures
• Terminating modal tableaux with simple completeness proof
• Symbolic model generation for graph properties
• Accelerating tableaux proofs using compact representations

Cited in

(14)

• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Translating essential OCL invariants to nested graph constraints focusing on set operations
• A navigational logic for reasoning about graph properties
• Symbolic model generation for graph properties
• A reasoning system for satisfiability of diagrammatic specifications
• Towards a navigational logic for graphical structures
• A flexible and easy-to-use library for the rapid development of graph tools in Java
• Automated Reasoning with Analytic Tableaux and Related Methods
• Automated Reasoning with Analytic Tableaux and Related Methods
• Initial conflicts for transformation rules with nested application conditions
• Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality
• Coinductive techniques for checking satisfiability of generalized nested conditions
• Comprehensive systems: a formal foundation for multi-model consistency management
• scientific article; zbMATH DE number 1930933 (Why is no real title available?)

This page was built for publication: Tableau-based reasoning for graph properties

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