A Practical Operational Semantics for Classical Planning in BDI Agents. - Mengwei Xu; Tom Lumley; Ramon Fraga Pereira; Felipe Meneguzzi (ECAI, 2024)