Logical Characterizations of Bisimulations for Discrete Probabilistic Systems.

Augusto Parma Roberto Segala

Published in: FoSSaCS (2007)

Keyphrases

management system
generative model
distributed systems
data driven
probabilistic logic
learning systems
database
real time
machine learning
information systems
knowledge base
web services
reinforcement learning
software development
knowledge based systems
probabilistic reasoning