On graph reasoning
From MaRDI portal
Publication:731892
DOI10.1016/J.IC.2008.11.004zbMATH Open1187.68355OpenAlexW2048015200MaRDI QIDQ731892FDOQ731892
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proofs with graphs
- Relation algebras and function semigroups
- Title not available (Why is that?)
- Reasoning with graphs
- On Positive Relational Calculi
- The origin of relation algebras in the development and axiomatization of the calculus of relations
- Normal forms for connectedness in categories
- The representation of relational algebras
- Representation of Modular Lattices and Of Relation Algebras
- The representation of relation algebras. II
- Representations of distributive lattice-ordered semigroups with binary relations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Compiling dyadic first-order specifications into map algebra
- Title not available (Why is that?)
- On a Graph Calculus for Algebras of Relations
Cited In (12)
- A graphical representation of relational formulae with complementation
- An \textsc{Agg} application supporting visual reasoning
- On a graph approach to modal logics
- On graph calculi for multi-modal logics
- A graph calculus for predicate logic
- Title not available (Why is that?)
- Reasoning with graphs
- On graph refutation for relational inclusions
- Presenting basic graph logic
- On a graph calculus for modalities
- Set Venn diagrams applied to inclusions and non-inclusions
- Existential Graphs as a Basis for Structural Reasoning
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)
