70 citations · 114 across the 20 of their papers we have counts for
1 paper · 2 filters
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…