Keyphrases
- dynamic logic
- rewriting systems
- rewriting rules
- reasoning about actions
- directed graph
- graph model
- graph theory
- random walk
- modal logic
- weighted graph
- graph representation
- imperative programs
- graph theoretic
- graph databases
- structured data
- directed acyclic graph
- rewrite rules
- first order logic
- case based reasoning
- knowledge base