2 papers
cs.AI2026
On the Size Complexity and Decidability of First-Order Progression
Jens Classen, Daxin Liu
Progression, the task of updating a knowledge base to reflect action effects, generally requires second-order logic. Identifying first-order special cases, by restricting either th…
cs.AI2025
A Counterfactual Cause in Situation Calculus
Daxin Liu, Vaishak Belle
Perhaps the most popular modern formulation of actual causality is the HP account by Halpern and Pearl. Recent advancement has focused on extension of HP account to lift its limite…