The Common Core of Action Languages B and C (2012)
Michael Gelfond and Vladimir Lifschitz
Action languages B and C are similar to each other in the sense that each of them is capable of describing indirect effects of actions. On the other hand, these languages are not equally expressive: each of them has its own distinctive features that cannot be easily translated into the other language. We clarify the relationship between the expressive capabilities of these languages by describing their common core--a subset of B that can be translated into C by a simple syntactic transformation.
In Working Notes of the International Workshop on Nonmonotonic Reasoning (NMR) 2012.

Vladimir Lifschitz Faculty vl [at] cs utexas edu