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]
@inproceedings{FooZZCV01,
title = {Encoding Solutions of the Frame Problem in Dynamic Logic},
author = {Norman Y. Foo and Dongmo Zhang and Yan Zhang and Samir Chopra and Quoc Bao Vo},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2173/21730240.htm},
tags = {logic},
researchr = {https://researchr.org/publication/FooZZCV01},
cites = {0},
citedby = {0},
pages = {240-253},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
editor = {Thomas Eiter and Wolfgang Faber and Miroslaw Truszczynski},
volume = {2173},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42593-4},
}