2 papers
cs.AI2026
DeepSWIP: Quotient-WMC Counterfactuals for Neural Probabilistic Logic Programs
Saimun Habib, Vaishak Belle, Fengxiang He
Neurosymbolic systems such as DeepProbLog combine neural perception with probabilistic logic, but standard inference is associational. Counterfactual reasoning additionally require…
cs.AI2026
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…