@INPROCEEDINGS {5929, author={P. Mateus and A. Pacheco and J. Pinto}, doi={}, booktitle={International Conf. on Principles of Knowledge Representation and Reasoning - KR}, title={Observations and the probabilistic situation calculus}, year={2002}, month={April}, volume={-}, pages={327-338} }Create and download bib file