Property persistence in the situation calculus

Ryan F. Kelly, Adrian R. Pearce. Property persistence in the situation calculus. Artificial Intelligence, 174(12-13):865-888, 2010. [doi]

Abstract

Abstract is missing.