@inproceedings{Xu2024,
  title={A Practical Operational Semantics for Classical Planning in BDI Agents},
  author={Xu, Mengwei and Lumley, Tom and Pereira, Ramon Fraga and Meneguzzi, Felipe},
  booktitle={Proceedings of the Twenty Seventh European Conference on Artificial Intelligence},
  year={2024},
  doi = {10.3233/FAIA240636},
  pages = {1365--1372},
}