The following publications are possibly variants of this publication:
- 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]
- Abstraction in Situation Calculus Action TheoriesBita Banihashemi, Giuseppe De Giacomo, Yves Lespérance. AAAI 2017: 1048-1055 [doi]
- Bounded Epistemic Situation Calculus TheoriesGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi. IJCAI 2013: 846-853 [doi]
- Abstraction of Nondeterministic Situation Calculus Action TheoriesBita Banihashemi, Giuseppe De Giacomo, Yves Lespérance. IJCAI 2023: 3112-3122 [doi]
- Verifying ConGolog Programs on Bounded Situation Calculus TheoriesGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña. AAAI 2016: 950-956 [doi]
- On First-Order μ-Calculus over Situation Calculus Action TheoriesDiego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi. kr 2016: 411-420 [doi]