Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter. Non-terminating processes in the situation calculus. Annals of Mathematics and Artificial Intelligence, 88(5):623-640, 2020. [doi]
@article{GiacomoTR20,
title = {Non-terminating processes in the situation calculus},
author = {Giuseppe De Giacomo and Eugenia Ternovska and Ray Reiter},
year = {2020},
doi = {10.1007/s10472-019-09643-9},
url = {https://doi.org/10.1007/s10472-019-09643-9},
researchr = {https://researchr.org/publication/GiacomoTR20},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {88},
number = {5},
pages = {623-640},
}