Tran Cao Son Enrico Pontelli Reasoning about Actions in Prioritized Default Theory. 369-381 2002 conf/jelia/2002 JELIA http://dx.doi.org/10.1007/3-540-45757-7_31 db/conf/jelia/jelia2002.html#SonP02