Keyphrases
- modal logic
- markov processes
- markov process
- markov chain
- temporal logic
- inference rules
- non stationary
- continuous time bayesian networks
- stochastic processes
- epistemic logic
- nonmonotonic logics
- classical logic
- default logic
- random fields
- conditional logic
- continuous time markov chains
- situation calculus
- dynamic logic
- prime implicates
- explanation based generalization
- stochastic process
- dynamic programming