Expressiveness and complexity of graph logic.
Anuj DawarPhilippa GardnerGiorgio GhelliPublished in: Inf. Comput. (2007)
Keyphrases
- random walk
- graph matching
- computational properties
- predicate logic
- logic programs
- logic programming
- graph theoretic
- graph theory
- weighted graph
- bounded treewidth
- database
- graph representation
- space complexity
- directed acyclic graph
- link analysis
- directed graph
- connected components
- decision problems
- expressive power
- computational cost
- data sets