Naiqi Li, Yi Fan, Yongmei Liu. Reasoning about State Constraints in the Situation Calculus. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 997-1003, IJCAI/AAAI, 2013. [doi]
Abstract is missing.