Publications
2022
Scholarly publications
de Mooij, J., Dell'anna, D., Bhattacharya, P., Dastani, M., Logan, B., & Swarup, S. (2022). Quantifying the Effects of Norms on COVID-19 Cases Using an Agent-Based Simulation. In K. H. Van Dam, & N. Verstaevel (Eds.), Multi-Agent-Based Simulation XXII. MABS 2021. (pp. 99-112). (Lecture Notes in Computer Science; Vol. 13128). Springer. https://doi.org/10.1007/978-3-030-94548-0_8
De Giacomo, G., Felli, P., Logan, B., Patrizi, F., & Sardina, S. (2022). Situation calculus for controller synthesis in manufacturing systems with first-order state representation. Artificial Intelligence, 302, 1-30. [103598]. https://doi.org/10.1016/j.artint.2021.103598
2021
Scholarly publications
Dann, M., Yao, Y., Logan, B., & Thangarajah, J. (2021). Multi-Agent Intention Progression with Black-Box Agents. In Z-H. Zhou (Ed.), Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (pp. 132-138). ijcai.org. https://doi.org/10.24963/IJCAI.2021/19
Bhattacharya, P., de Mooij, J., Dell'anna, D., Dastani, M., Logan, B., & Swarup, S. (Accepted/In press). PanSim+ Sim-2APL: A framework for large-scale distributed simulation with complex agents. https://parantapa.net/mypapers/bhattacharya-emas21.pdf
Yao, Y., Alechina, N., Logan, B., & Thangarajah, J. (2021). Intention Progression using Quantitative Summary Information. 1416--1424. Paper presented at 20th International Conference on Autonomous Agents and Multiagent Systems.
https://dspace.library.uu.nl/bitstream/handle/1874/415633/p1416.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/415633/p1416.pdf?sequence=1
2020
Scholarly publications
de Silva, L., Meneguzzi, F., & Logan, B. S. (2020). BDI Agent Architectures: A Survey. In C. Bessiere (Ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 (pp. 4914-4921) https://doi.org/10.24963/ijcai.2020/674
Bordini, R. H., El Fallah-Seghrouchni, A., Hindriks, K. V., Logan, B. S., & Ricci, A. (2020). Agent programming in the cognitive era. Journal of Autonomous Agents and Multi Agent Systems, 34, [37]. https://doi.org/10.1007/s10458-020-09453-y
Alechina, N., & Logan, B. (2020). State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. In A. Blass, P. Cégielski, N. Dershowitz, M. Droste, & B. Finkbeiner (Eds.), Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday (pp. 9-29). (Lecture Notes in Computer Science; Vol. 12180). Springer, Cham. https://doi.org/10.1007/978-3-030-48006-6_2
Yao, Y., Alechina, N., Logan, B., & Thangarajah, J. (2020). Intention Progression under Uncertainty. In C. Bessiere (Ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (pp. 10-16). ijcai.org. https://doi.org/10.24963/ijcai.2020/2
Alechina, N. A., Demri, S., & Logan, B. S. (2020). Parameterised Resource-Bounded ATL. In Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020 (Vol. 34, pp. 7040-7046). AAAI Press. https://doi.org/10.1609/aaai.v34i05.6189