Javier Pinto Amílcar Sernadas Cristina Sernadas Paulo Mateus Non-Determinism and Uncertainty in the Situation Calculus. 127-150 2000 8 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2 http://dx.doi.org/10.1142/S0218488500000101 db/journals/ijufks/ijufks8.html#PintoSSM00