FLUX: A logic programming method for reasoning agents

Michael Thielscher. FLUX: A logic programming method for reasoning agents. TPLP, 5(4-5):533-565, 2005. [doi]

Abstract

Abstract is missing.