Reasoning About State Constraints in the Situation Calculus

Li et al. "Reasoning About State Constraints in the Situation Calculus." International Joint Conference on Artificial Intelligence, 2013.

[Li et al. "Reasoning About State Constraints in the Situation Calculus." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/li2013ijcai-reasoning/)

@inproceedings{li2013ijcai-reasoning,
  title     = {{Reasoning About State Constraints in the Situation Calculus}},
  author    = {Li, Naiqi and Fan, Yi and Liu, Yongmei},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {997-1003},
  url       = {https://mlanthology.org/ijcai/2013/li2013ijcai-reasoning/}
}