Active logic semantics for a single agent in a static world

Michael L. Anderson, Walid E. Gomaa, John Grant, Donald Perlis. Active logic semantics for a single agent in a static world. Artificial Intelligence, 172(8-9):1045-1063, 2008. [doi]

Abstract

Abstract is missing.