An Action Language Based on Causal Explanation: preliminary report (1998)
Enrico Giunchiglia and Vladimir Lifschitz
Action languages serve for describing changes that are caused by performing actions. We define a new action language C, based on the theory of causal explanation proposed recently by McCain and Turner, and illus? trate its expressive power by applying it to a number of examples. The mathematical results presented in the paper relate C to the Baral---Gelfond theory of concurrent actions.
In Proceedings of National Conference on Artificial Intelligence (AAAI), pp. 623-630 1998. AAAI Press.

Vladimir Lifschitz Faculty vl [at] cs utexas edu