An action language based on causal logic (1998)

by Enrico Giunchiglia, Vladimir Lifschitz
Venue:In Working Notes of 4th Symp. on Logical Formalizations of Commonsense Reasoning