TY - RPRT TI - Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs AU - Saimun Habib AU - Vaishak Belle AU - Fengxiang He PY - 2026 UR - https://arxiv.org/abs/2603.20505 ID - 2603.20505 ER -