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]
No references recorded for this publication.
No citations of this publication recorded.