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.

PS

In Proceedings of National Conference on Artificial Intelligence (AAAI), pp. 623-630 1998. AAAI Press.

@InProceedings{giu98, title={An Action Language Based on Causal Explanation: preliminary report}, author={Enrico Giunchiglia and Vladimir Lifschitz}, booktitle={Proceedings of National Conference on Artificial Intelligence (AAAI)}, publisher={AAAI Press}, pages={623-630}, url="http://www.cs.utexas.edu/users/ai-lab?giu98", year={1998} }