Login / Signup
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach.
Osman Hasan
Sofiène Tahar
Published in:
ASM (2010)
Keyphrases
</>
bayesian networks
higher order logic
relational databases
general purpose
pairwise
probabilistic logic