Keyphrases
- markov processes
- linear logic
- markov process
- markov chain
- stochastic processes
- random fields
- fixed point
- continuous time bayesian networks
- sequent calculus
- non stationary
- continuous time markov chains
- cut elimination
- desirable properties
- stationary distribution
- logical framework
- inference rules
- probability distribution
- transition probabilities
- machine learning
- logic programming
- model selection
- markov random field
- software engineering
- video sequences