Raymond Reiter. On knowledge-based programming with sensing in the situation calculus. ACM Trans. Comput. Log., 2(4):433-457, 2001. [doi]
@article{Reiter01:0,
title = {On knowledge-based programming with sensing in the situation calculus},
author = {Raymond Reiter},
year = {2001},
doi = {10.1145/502166.502167},
url = {http://doi.acm.org/10.1145/502166.502167},
tags = {rule-based, programming},
researchr = {https://researchr.org/publication/Reiter01%3A0},
cites = {0},
citedby = {0},
journal = {ACM Trans. Comput. Log.},
volume = {2},
number = {4},
pages = {433-457},
}