Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming

Phan Huy Tu Tran Cao Son Chitta Baral Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming http://arxiv.org/abs/cs/0605017 2006 CoRR abs/cs/0605017 db/journals/corr/corr0605.html#abs-cs-0605017 informal publication