A Logic for Acting, Sensing and Planning
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/ijcai/TraversoS95, title={A Logic for Acting, Sensing and Planning}, pages={1941-1949}, year={1995}, booktitle={IJCAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai95.html#TraversoS95}, author={Paolo Traverso and Luca Spalazzi} }\end{bibtex}
