Exchangeability in Probability Logic.

Christian Wallmann Gernot D. Kleiter

Published in: IPMU (4) (2012)

Keyphrases

probability theory
quantum computation
logic programming
probability distribution
real time
conditional probabilities
model checking
predicate logic
multiscale
classical logic