Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs

Saimun Habib, Vaishak Belle, Fengxiang He

Probabilistic Logic Programming (PLP) languages, like ProbLog, naturally support reasoning under uncertainty, while maintaining a declarative and interpretable framework. Meanwhile…