Login / Signup

Refinement for Probabilistic Systems with Nondeterminism

Steve ReevesDavid Streader
Published in: Refine@FM (2011)
Keyphrases
  • bayesian networks
  • learning systems
  • probabilistic logic
  • databases
  • intelligent systems
  • machine learning
  • social networks
  • management system
  • graphical models
  • computer systems
  • knowledge based systems
  • complex systems