Cleaning up the mess: a formal framework for autonomously reverting BDI agent actions.

Joo Guilherme Faccin, Ingrid Nunes

Browse the full ICSE paper archive.