Bounded situation calculus action theories and decidable verification (2012)

by G De Giacomo, Y Lespérance, F Patrizi
Venue:In Proc. KR