Encoding Solutions of the Frame Problem in Dynamic Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Norman Y. Foo' in GoogleThis author has not been identified. Look up 'Dongmo Zhang' in GoogleThis author has not been identified. Look up 'Yan Zhang' in GoogleThis author has not been identified. Look up 'Samir Chopra' in GoogleThis author has not been identified. Look up 'Quoc Bao Vo' in Google

runs on WebDSL