Actions with Indirect Effects (preliminary report) (1994)
G. Neelakantan Kartha and Vladimir Lifschitz
We define and study a high-level language for describing actions that extends the language A introduced by Gelfond and Lifschitz. The new language, AR_0, allows us to describe actions with indirect effects (ramifications) and simple forms of nondeterminism. A translation from AR_0 into a formalism based on circumscription in proved to be sound and complete.
In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 341-350 1994.

Vladimir Lifschitz Faculty vl [at] cs utexas edu