Reasoning about plan revision in BDI agent programs

Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer. Reasoning about plan revision in BDI agent programs. Theoretical Computer Science, 412(44):6115-6134, 2011. [doi]

Abstract

Abstract is missing.