Non-terminating processes in the situation calculus
De Giacomo, Giuseppe, Ternovska, Eugenia, Reiter, RayJournal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1007/s10472-019-09643-9
Date:
November, 2019
File:
PDF, 384 KB
2019