Combining the logical and the probabilistic in program analysis.

Xin Zhang Xujie Si Mayur Naik

Published in: MAPL@PLDI (2017)

Keyphrases

probabilistic logic
probabilistic knowledge
data driven
probabilistic model
generative model
bayesian networks
uncertain data
combining multiple
real world
learning algorithm
digital libraries
conditional probabilities
maximum entropy
inference rules
logical reasoning