1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
The ability to model continuous change in Reiter's temporal situation calculus action theories has attracted a lot of interest. In this paper, we propose a new development of his a…