Keyphrases
- dynamic logic
- graph theory
- graph structure
- directed graph
- modal logic
- multi valued
- fixpoint
- graph representation
- spanning tree
- graph model
- graph mining
- structured data
- control flow
- classical logic
- probabilistic logic
- data model
- functional programs
- automated reasoning
- graph partitioning
- weighted graph
- graph matching
- random walk
- logic programming