Probabilistic Dynamic Epistemic Logic.

Barteld P. Kooi

Published in: J. Log. Lang. Inf. (2003)

Keyphrases

dynamic epistemic logic
epistemic logic
probabilistic model
bayesian networks
image processing
probabilistic reasoning
expert systems
model checking
uncertain data
formal methods