TY  - RPRT
TI  - Robot Location Estimation in the Situation Calculus
AU  - Vaishak Belle
AU  - Hector Levesque
PY  - 2014
UR  - https://arxiv.org/abs/1402.7276
ID  - 1402.7276
ER  -