Meneguzzi F, Telang P, Singh M. A First-Order Formalization of Commitments and Goals for Planning. AAAI [Internet]. 2013Jun.30 [cited 2024May8];27(1):697-703. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/8632