Do you know how to model count? We provide an introduction to model counting: what is it, why is it so important (hint: state-of-the-art probabilistic reasoning!), and what is the relation with knowledge compilation.
This is a brief overview of DeepProbLog, a neuro-symbolic framework that integrates the probabilistic logic programming language ProbLog with neural networks.
Probabilistic programming studies probabilistic extensions of programming languages that can be used to model rich domains. The lab has contributed a probabilistic extension of a Prolog, called ProbLog.