Presenting Basic Graph Logic.
Márcia R. CerioliLeandro SuguitaniPetrucio VianaPublished in: Diagrams (2021)
Keyphrases
- graph representation
- directed graph
- graph structure
- classical logic
- weighted graph
- logic programming
- asynchronous circuits
- automated reasoning
- bipartite graph
- graph matching
- spanning tree
- minimum spanning tree
- graph search
- predicate logic
- proof theory
- sound and complete axiomatization
- graph theory
- directed acyclic graph
- graph theoretic
- modal logic
- structured data
- adjacency matrix
- bayesian networks
- stable set