Authors: Mateus, P Pacheco, A Pinto, J Sernadas, A Sernadas, C

Citation: P. Mateus et al., Probabilistic situation calculus, ANN MATH A, 32(1-4), 2001, pp. 393-431

Authors: Zanardo, A Sernadas, A Sernadas, C

Citation: A. Zanardo et al., Fibring: Completeness preservation, J SYMB LOG, 66(1), 2001, pp. 414-439

Authors: Pinto, J Sernadas, A Sernadas, C Mateus, P

Citation: J. Pinto et al., Non-determinism and uncertainty in the situation calculus, INT J UNC F, 8(2), 2000, pp. 127-149