Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation

Yuxin Deng Wenjie Du

Published in: CoRR (2011)

Keyphrases

probabilistic logic
probabilistic knowledge
generative model
probabilistic model
metric space
uncertain data
bayesian networks
distance measure
database
real time
information theoretic
inductive inference
probabilistic reasoning
quality metrics
probability theory
logical representation