Robot location estimation in the situation calculus. Belle, V. & Levesque, H. Journal of Applied Logic, 13:397–413, 2015.
Robot location estimation in the situation calculus [link]Paper  bibtex   1 download  
@article{Belle:2015ab,
	Author = {Vaishak Belle and Hector Levesque},
	Date-Added = {2016-02-21 14:43:32 +0000},
	Date-Modified = {2016-02-21 15:42:40 +0000},
	Journal = {Journal of Applied Logic},
	Pages = {397--413},
	Title = {Robot location estimation in the situation calculus},
	Url = {http://dx.doi.org/10.1016/j.jal.2015.02.004},
	Volume = {13},
	Year = {2015},
	Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.jal.2015.02.004}}

Downloads: 1