Coalgebraic logic for stochastic right coalgebras.
Ernst-Erich DoberkatChristoph SchubertPublished in: Ann. Pure Appl. Log. (2009)
Keyphrases
- logic programming
- modal logic
- stochastic optimization
- monte carlo
- delay insensitive
- stochastic model
- predicate logic
- automated reasoning
- learning automata
- probabilistic logic
- multi valued
- stochastic nature
- epistemic logic
- deontic logic
- stochastic programming
- dynamic logic
- stochastic processes
- computational properties
- stochastic process
- database
- expressive power
- multi agent
- case study
- artificial intelligence
- information retrieval
- machine learning