Keyphrases
- dynamic logic
- first order logic
- classical first order logic
- probabilistic reasoning
- probabilistic logic
- propositional logic
- expressive power
- imperative programs
- inference rules
- generative model
- propositional dynamic logic
- probabilistic model
- modal logic
- reasoning about actions
- polynomial hierarchy
- inductive logic programming
- transitive closure
- knowledge representation
- uncertain data
- agent programming
- bayesian networks
- artificial intelligence
- general purpose
- horn clauses
- fuzzy logic