Login / Signup

The magic of logical inference in probabilistic programming.

Bernd GutmannIngo ThonAngelika KimmigMaurice BruynoogheLuc De Raedt
Published in: Theory Pract. Log. Program. (2011)
Keyphrases
  • logical inference
  • theorem proving
  • logical structure
  • knowledge compilation
  • programming language
  • probabilistic inference
  • probabilistic model
  • databases
  • expert systems
  • graphical models