@INPROCEEDINGS {5747, author={J. Pinto and A. Sernadas and C. Sernadas and P. Mateus}, doi={}, booktitle={International Florida AI Research Symp. - FLAIRS}, title={Non-determinism and uncertainty in the Situation Calculus}, year={1999}, month={January}, volume={-}, pages={454-460} }Create and download bib file