On graph reasoning

DOI10.1016/J.IC.2008.11.004MaRDI QIDQ731892zbMATH OpenOpenAlexFDO

Authors Paulo A. S. Veloso, Sheila R. M. Veloso, Petrucio Viana, Renata P. de Freitas

Publication date 9 October 2009

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2008.11.004

zbMATH Keywords

completenessdecidabilitygraph calculusexpressive powerrelational calculus

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Reasoning with graphs
• Reasoning about graph programs
• Reasoning with graph constraints
• scientific article; zbMATH DE number 1322795
• Graphs and plausibility logic
• Open graphs and computational reasoning
• Reasoning with contextual graphs.
• Existential Graphs as a Basis for Structural Reasoning
• On the Expressive Power of Graph Logic

Cites work

• scientific article; zbMATH DE number 1615232 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 67045 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 1852925 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• scientific article; zbMATH DE number 3378527 (Why is no real title available?)
• Compiling dyadic first-order specifications into map algebra
• Normal forms for connectedness in categories
• On Positive Relational Calculi
• On a Graph Calculus for Algebras of Relations
• Proofs with graphs
• Reasoning with graphs
• Relation algebras and function semigroups
• Representation of Modular Lattices and Of Relation Algebras
• Representations of distributive lattice-ordered semigroups with binary relations
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• The representation of relation algebras. II
• The representation of relational algebras

Cited in

(12)

• Set Venn diagrams applied to inclusions and non-inclusions
• Presenting basic graph logic
• A graph calculus for predicate logic
• scientific article; zbMATH DE number 5734944 (Why is no real title available?)
• On graph calculi for multi-modal logics
• On a graph approach to modal logics
• Reasoning with graphs
• On graph refutation for relational inclusions
• A graphical representation of relational formulae with complementation
• Existential Graphs as a Basis for Structural Reasoning
• An \textsc{Agg} application supporting visual reasoning
• On a graph calculus for modalities

This page was built for publication: On graph reasoning

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