A logical framework for prioritized goal change.

Shakil M. Khan Yves Lespérance A logical framework for prioritized goal change. 283-290 2010 AAMAS http://doi.acm.org/10.1145/1838206.1838246 conf/atal/2010 db/conf/atal/aamas2010.html#KhanL10