Sign in
Probabilistic reasoning for analysis of approximate computations.
Sasa Misailovic
Published in:
CASES (2017)
Keyphrases
</>
probabilistic reasoning
bayesian networks
expert systems
probability distribution
constraint satisfaction
probabilistic logic
machine learning
graphical models
np complete
first order logic