The Magic of Logical Inference in Probabilistic Programming

Bernd Gutmann Ingo Thon Angelika Kimmig Maurice Bruynooghe Luc De Raedt

Published in: CoRR (2011)

Keyphrases

logical inference
theorem proving
probabilistic inference
programming language
knowledge compilation
logical structure
bayesian networks
domain knowledge
first order logic