Adding Domain Dependent Knowledge into Answer Set Programs for Planning.

Xiumei Jia, Jia-Huai You, Li-Yan Yuan

Browse the full ICLP paper archive.