Solutions for some assignment on probabilistic programs (using ProbLog in particular).
"ProbLog is a tool that allows you to intuitively build programs that do not only encode complex interactions between a large sets of heterogenous components but also the inherent uncertainties that are present in real-life situations."
- Daan Fierens, Guy Van den Broeck, Ingo Thon, Bernd Gutmann, and Luc De Raedt. Inference in probabilistic logic programs using weighted CNFs. Theory and Practice of Logic Programming, 15, 2015.
- Francisco Javier Díez and M.J. Druzdzel. Canonical probabilistic models for knowledge engineering. Technical report cisiad-06-01, UNED, Madrid, Spain, 2006.
- Mark Chavira and Adnan Darwiche. On probabilistic inference by weighted model counting. Artificial Intelligence, 172(6): 772–799, 2008.
- Guy Van den Broeck, Wannes Meert, and Adnan Darwiche. Skolemization for weighted first-order model counting. In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 1–10, 2014.
- Bernd Gutmann, Ingo Thon, and Luc De Raedt. Learning the parameters of probabilistic logic programs from interpre- tations. European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD), pages 581– 596, 2011.