1 paper · 1 filter
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…