@ARTICLE {2635,
author={P. Mateus and A. Pacheco and J. Pinto and A. Sernadas and C. Sernadas},
doi={},
journal={Annals of Mathematics and Artificial Intelligence},
title={Probabilistic situation calculus},
year={2001},
month={January},
volume={32},
number={1/4},
pages={393-431},
ISSN={1573-7470}
}