%0 Journal Article %1 journals/logcom/VoNF06 %A Vo, Quoc Bao %A Nayak, Abhaya C. %A Foo, Norman Y. %D 2006 %J J. Log. Comput. %K dblp %N 3 %P 315-338 %T A Syntax-based Approach to Reasoning about Action and Belief Update. %U http://dblp.uni-trier.de/db/journals/logcom/logcom16.html#VoNF06 %V 16

@article{journals/logcom/VoNF06, added-at = {2018-11-30T00:00:00.000+0100}, author = {Vo, Quoc Bao and Nayak, Abhaya C. and Foo, Norman Y.}, biburl = {https://www.bibsonomy.org/bibtex/26b0b2b28b26e7f9b7a71c4e2a388e0db/dblp}, ee = {https://doi.org/10.1093/logcom/exi081}, interhash = {b773974fdaee9e8a064e2f029f5eb86c}, intrahash = {6b0b2b28b26e7f9b7a71c4e2a388e0db}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 3, pages = {315-338}, timestamp = {2018-12-01T11:46:43.000+0100}, title = {A Syntax-based Approach to Reasoning about Action and Belief Update.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom16.html#VoNF06}, volume = 16, year = 2006 }