Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism.

Published in: QEST (2020)

Keyphrases

high resolution
probabilistic model
generative model
connected components
uncertain data
bayesian networks
artificial intelligence
multiresolution
logic programs
first order logic
normal form
context sensitive
frame rate
probabilistic reasoning
probability theory