Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos. Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Studia Logica, 104(4):705-739, 2016. [doi]
@article{GiacomoLPV16, title = {Progression and Verification of Situation Calculus Agents with Bounded Beliefs}, author = {Giuseppe De Giacomo and Yves Lespérance and Fabio Patrizi and Stavros Vassos}, year = {2016}, doi = {10.1007/s11225-015-9626-z}, url = {http://dx.doi.org/10.1007/s11225-015-9626-z}, researchr = {https://researchr.org/publication/GiacomoLPV16}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {104}, number = {4}, pages = {705-739}, }