Bounded Situation Calculus Action Theories and Decidable Verification.

Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi

Browse the full KR paper archive.