M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer Dynamic Logic for Plan Revision in Intelligent Agents. 16-32 2004 conf/clima/2004V CLIMA V http://dx.doi.org/10.1007/11533092_2 db/conf/clima/climaV2004.html#RiemsdijkBM04