1 paper
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
In this paper, we investigate bounded action theories in the situation calculus. A bounded action theory is one which entails that, in every situation, the number of object tuples…