Peter Stringer. Adaptable and Verifiable BDI Reasoning. In Frank Dignum, Alessio Lomuscio, Ulle Endriss, Ann Nowé, editors, AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021. pages 1835-1836, ACM, 2021. [doi]
@inproceedings{Stringer21,
title = {Adaptable and Verifiable BDI Reasoning},
author = {Peter Stringer},
year = {2021},
url = {https://dl.acm.org/doi/10.5555/3463952.3464256},
researchr = {https://researchr.org/publication/Stringer21},
cites = {0},
citedby = {0},
pages = {1835-1836},
booktitle = {AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
editor = {Frank Dignum and Alessio Lomuscio and Ulle Endriss and Ann Nowé},
publisher = {ACM},
isbn = {978-1-4503-8307-3},
}