The following publications are possibly variants of this publication:
- A Classification of First-Order Progressable Action Theories in Situation CalculusStavros Vassos, Fabio Patrizi. IJCAI 2013: 1132-1138 [doi]
- Abstraction in Situation Calculus Action TheoriesBita Banihashemi, Giuseppe De Giacomo, Yves Lespérance. AAAI 2017: 1048-1055 [doi]
- Bounded situation calculus action theoriesGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi. ai, 237:172-203, 2016. [doi]
- μ-calculus over generic transition systems and applications to the situation calculusDiego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi. iandc, 259(Part):328-347, 2018. [doi]
- Bounded Situation Calculus Action Theories and Decidable VerificationGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi. AAAI 2012: [doi]
- Abstraction of Nondeterministic Situation Calculus Action TheoriesBita Banihashemi, Giuseppe De Giacomo, Yves Lespérance. IJCAI 2023: 3112-3122 [doi]
- Bounded Situation Calculus Action Theories and Decidable VerificationGiuseppe De Giacomo, Yves Lespérance, Fabio Patrizi. kr 2012: [doi]