We investigate using logic programming, causal theories and action languages to describe effects of actions and reason about dynamic domains. This includes characterizing first-order causal theory by functional completion, characterizing first-order stable models by Lloyd-Topor completion, representing causal theories in logic programming and describing dynamic domains in the new action language BC.

PDF

To Appear In TPLP, Online Supplement (2013).

@article{yang:tplp13, title={Representing Actions in Logic-based Languages}, author={Fangkai Yang}, journal={TPLP, Online Supplement}, url="http://www.cs.utexas.edu/users/ai-lab?dc", year={2013} }