Keyphrases
- random walk
- graph theory
- graph based algorithm
- weighted graph
- directed acyclic graph
- graph model
- graph theoretic
- graph representation
- expressive power
- modal logic
- bipartite graph
- multi valued
- finite state
- undirected graph
- monadic second order logic
- graph construction
- directed graph
- logic programming
- knowledge base
- spanning tree
- random graphs
- classical logic
- graph structure
- relational structures
- tree automata
- bounded treewidth