@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} 
}