Ryan F. Kelly, Adrian R. Pearce. Asynchronous knowledge with hidden actions in the situation calculus. Artificial Intelligence, 221:1-35, 2015. [doi]
@article{KellyP15, title = {Asynchronous knowledge with hidden actions in the situation calculus}, author = {Ryan F. Kelly and Adrian R. Pearce}, year = {2015}, doi = {10.1016/j.artint.2014.12.005}, url = {http://dx.doi.org/10.1016/j.artint.2014.12.005}, researchr = {https://researchr.org/publication/KellyP15}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {221}, pages = {1-35}, }