Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation.

Pedro R. D'Argenio Matias David Lee

Published in: FoSSaCS (2012)

Keyphrases

high level
bayesian networks
probabilistic model
probabilistic logic
probabilistic reasoning
formal specification
uncertain data
low level
generative model
context sensitive
state transition
data streams
real time
data driven
reinforcement learning
belief networks
knowledge base
artificial intelligence
data mining