White, Graham Davidson and Reiter on actions. (English) Zbl 1158.03018 Fundam. Inform. 84, No. 2, 259-289 (2008). Reviewer: David Makinson (London) MSC: 03B60 68T27 18D30 × Cite Format Result Cite Review PDF
Shapiro, Steven; Lespérance, Yves; Levesque, Hector J. Goal change in the situation calculus. (English) Zbl 1132.68054 J. Log. Comput. 17, No. 5, 983-1018 (2007). MSC: 68T27 × Cite Format Result Cite Review PDF Full Text: DOI