Luís Moniz Pereira Renwei Li Reasoning about Actions with Abductive Logic Programming. 361-388 1997 conf/epia/1997 EPIA db/conf/epia/epia1997.html#PereiraL97