Reasoning about State Constraints in the Situation Calculus.

Naiqi Li, Yi Fan, Yongmei Liu

Browse the full IJCAI paper archive.