Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña. Verifying ConGolog Programs on Bounded Situation Calculus Theories. In Dale Schuurmans, Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. pages 950-956, AAAI Press, 2016. [doi]
@inproceedings{GiacomoLPS16,
title = {Verifying ConGolog Programs on Bounded Situation Calculus Theories},
author = {Giuseppe De Giacomo and Yves Lespérance and Fabio Patrizi and Sebastian Sardiña},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12470},
researchr = {https://researchr.org/publication/GiacomoLPS16},
cites = {0},
citedby = {0},
pages = {950-956},
booktitle = {Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA},
editor = {Dale Schuurmans and Michael P. Wellman},
publisher = {AAAI Press},
}