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.

PDF

In Working Notes of the International Workshop on Nonmonotonic Reasoning (NMR), 2012.

@incollection{gel12, title={The Common Core of Action Languages B and C}, author={Michael Gelfond and Vladimir Lifschitz}, booktitle={Working Notes of the International Workshop on Nonmonotonic Reasoning (NMR)}, url="http://www.cs.utexas.edu/users/ai-lab/?gel12", year={2012} }