TY  - JOUR
AU  - Kelly, RF
AU  - Pearce, AR
Y2  - 2014/05/21
Y1  - 2010/08/01
SN  - 0004-3702
UR  - http://hdl.handle.net/11343/29251
LA  - English
PB  - ELSEVIER
KW  - Artificial Intelligence and Image Processing
T1  - Property persistence in the situation calculus
DO  - 10.1016/j.artint.2010.05.003
IS  - Artificial Intelligence
VL  - 174
IS  - 12-13
SP  - 865-888
L1  - /bitstream/handle/11343/29251/277959_146414.pdf?sequence=1&isAllowed=n
ER  -