@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} }Create and download bib file