A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity.
Ernst-Erich DoberkatPublished in: ICLA (2011)
Keyphrases
- propositional dynamic logic
- dynamic logic
- image interpretation
- stochastic programming
- learning automata
- data sets
- evolutionary algorithm
- reinforcement learning
- probabilistic model
- general purpose
- monte carlo
- image sequences
- stochastic model
- image segmentation
- computational properties
- semantic interpretation
- stochastic optimization
- inference process
- case study
- computer vision
- stochastic nature
- genetic algorithm