Bounded situation calculus action theories

Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi. Bounded situation calculus action theories. Artificial Intelligence, 237:172-203, 2016. [doi]

Abstract

Abstract is missing.