Representing Actions in Logic-based Languages (2013)
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.
View:
PDF
Citation:
To Appear In TPLP, Online Supplement (2013).
Bibtex:

Fangkai Yang Ph.D. Student fkyang [at] cs utexas edu