1. A formal theory of knowledge and action;Moore,1985
2. Knowledge, action, and the frame problem;Scherl;Artif. Intell.,2003
3. Reasoning about noisy sensors and effectors in the situation calculus;Bacchus;Artif. Intell.,1999
4. Reasoning about continuous uncertainty in the situation calculus;Belle,2013
5. An epistemic event calculus for ASP-based reasoning about knowledge of the past, present and future;Ma,2013