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