Vassos and Patrizi. "A Classification of First-Order Progressable Action Theories in Situation Calculus." International Joint Conference on Artificial Intelligence, 2013.
Markdown
[Vassos and Patrizi. "A Classification of First-Order Progressable Action Theories in Situation Calculus." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/vassos2013ijcai-classification/)
BibTeX
@inproceedings{vassos2013ijcai-classification,
title = {{A Classification of First-Order Progressable Action Theories in Situation Calculus}},
author = {Vassos, Stavros and Patrizi, Fabio},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2013},
pages = {1132-1138},
url = {https://mlanthology.org/ijcai/2013/vassos2013ijcai-classification/}
}