Login / Signup

Formal Probabilistic Analysis: A Higher-Order Logic Based Approach.

Osman HasanSofiène Tahar
Published in: ASM (2010)
Keyphrases
  • bayesian networks
  • higher order logic
  • relational databases
  • general purpose
  • pairwise
  • probabilistic logic