The following publications are possibly variants of this publication:
- Progression and verification of situation calculus agents with bounded beliefsGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos. atal 2014: 141-148 [doi]
- Bounded Situation Calculus Action Theories and Decidable VerificationGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi. AAAI 2012: [doi]
- Verifying ConGolog Programs on Bounded Situation Calculus TheoriesGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña. AAAI 2016: 950-956 [doi]
- Bounded Situation Calculus Action Theories and Decidable VerificationGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi. kr 2012: [doi]
- LTL Verification of Online Executions with Sensing in Bounded Situation CalculusGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos. ecai 2014: 369-374 [doi]