Mixed powerdomains for probability and nondeterminism.

Klaus Keimel Gordon D. Plotkin

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

situation calculus
probability distribution
information retrieval
multimedia
bayesian networks
relational databases
dynamic programming
model checking
posterior probability
probability theory
cross entropy
confidence level