João Guilherme Faccin, Ingrid Nunes. Cleaning up the mess: a formal framework for autonomously reverting BDI agent actions. In Jesper Andersson, Danny Weyns, editors, Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2018, Gothenburg, Sweden, May 28-29, 2018. pages 108-118, ACM, 2018. [doi]
Abstract is missing.