Fang et al. "On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus." International Joint Conference on Artificial Intelligence, 2015.
Markdown
[Fang et al. "On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/fang2015ijcai-progression/)
BibTeX
@inproceedings{fang2015ijcai-progression,
title = {{On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus}},
author = {Fang, Liangda and Liu, Yongmei and Wen, Ximing},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2015},
pages = {2955-2963},
url = {https://mlanthology.org/ijcai/2015/fang2015ijcai-progression/}
}