Gu and Soutchanski. "Decidable Reasoning in a Modified Situation Calculus." International Joint Conference on Artificial Intelligence, 2007.
Markdown
[Gu and Soutchanski. "Decidable Reasoning in a Modified Situation Calculus." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/gu2007ijcai-decidable/)
BibTeX
@inproceedings{gu2007ijcai-decidable,
title = {{Decidable Reasoning in a Modified Situation Calculus}},
author = {Gu, Yilan and Soutchanski, Mikhail},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2007},
pages = {1891-1897},
url = {https://mlanthology.org/ijcai/2007/gu2007ijcai-decidable/}
}