On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture, Stavros Vassos and Hector Levesque, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), pages 1004-1009, Chicago, Illinois, USA, 2008.
[pdf | citeulike | slides]
Continue reading ‘On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture (AAAI-08)’