Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo. Encoding Solutions of the Frame Problem in Dynamic Logic. In Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Volume 2173 of Lecture Notes in Computer Science, pages 240-253, Springer, 2001. [doi]
Abstract is missing.