A stochastic interpretation of propositional dynamic logic: expressivity.
Ernst-Erich DoberkatPublished in: J. Symb. Log. (2012)
Keyphrases
- propositional dynamic logic
- dynamic logic
- reasoning about actions
- stochastic programming
- monte carlo
- semantic interpretation
- computational properties
- image interpretation
- database
- stochastic model
- stochastic approximation
- stochastic models
- learning automata
- fixed point
- high level
- computer vision
- information retrieval
- neural network
- real time