The following publications are possibly variants of this publication:
- Abstraction of Nondeterministic Situation Calculus Action TheoriesBita Banihashemi, Giuseppe De Giacomo, Yves Lespérance. IJCAI 2023: 3112-3122 [doi]
- Bounded situation calculus action theoriesGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi. ai, 237:172-203, 2016. [doi]
- Bounded Situation Calculus Action Theories and Decidable VerificationGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi. AAAI 2012: [doi]
- Bounded Situation Calculus Action Theories and Decidable VerificationGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi. kr 2012: [doi]
- On First-Order μ-Calculus over Situation Calculus Action TheoriesDiego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi. kr 2016: 411-420 [doi]