Dynamic Logic for Plan Revision in Agent Programming

M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer. Dynamic Logic for Plan Revision in Agent Programming. Journal of Logic and Computation, 16(3):375-402, 2006. [doi]

Abstract

Abstract is missing.