Publications

Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning

Varricchione, G., Alechina, N., Dastani, M., Logan, B.

Journal of Artificial Intelligence Research

Contributions to Journals: Articles

A Multi-Robot Architecture for Continuous Planning and Execution using BDI Agents

Silva, C. J., Ralha, C. G., Santos, R. M., Cardoso, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

An ML-BDI Reasoner to Support Crime Investigation in Digital Forensics

Dall'Agnol Deconto, G., dos Santos Teixeira, L., Castagna Lunardi, R., Cardoso, R. C., Meneguzzi, F., Zorzo, A. F.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Bases for Weighted Gradual Semantics and Inverse Problems in Argumentation Theory

Libman, A., Oren, N., Yun, B.

Journal of Artificial Intelligence Research

Contributions to Journals: Articles

TrafficSim: A Simulation Framework for the Scottish Rail Network in ROS2

Leslie, R., Earnshaw, C., Jam, F., Komnata, K., Maita, A., Cardoso, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier

https://doi.org/10.1007/978-3-032-11442-6_34

Open Access

http://aura.abdn.ac.uk/bitstreams/816b4ff4-39f7-4126-bc14-d477e2811812/download

Reliable Intention Selection in BDI Agents with Recovery Shields

Ferrando, A., Cardoso, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier

https://doi.org/10.3233/FAIA251228

Open Access

http://aura.abdn.ac.uk/bitstreams/c7846450-ab13-4356-a2d1-8e32bb881881/download

A BDI Task-oriented Agent in Belief Space

Ichida, A. Y., Meneguzzi, F.

ACM Transactions on Autonomous and Adaptive Systems

Contributions to Journals: Articles

Digital Object Identifier

https://doi.org/10.1145/3770857

Synthesising Minimum Cost Dynamic Norms

Alechina, N., Logan, B., Perelli, G.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Online

https://www.ijcai.org/proceedings/2025/0001.pdf

Open Access

http://aura.abdn.ac.uk/bitstreams/353aa81e-028d-4f89-85cc-4164f848a048/download

Run-time verification of robot-assisted surgery using visual input

Gogoladze, K., Alechina, N., van Jaarsveld, R., De Jong, R., Al Khalil, Y., Kuiper, G., Logan, B., Ruurda, J.

Contributions to Journals: Conference Articles

Open Access

http://aura.abdn.ac.uk/bitstreams/a87cb688-6afc-4f7a-b56e-f5ff90ac9657/download

Additional Links

https://ceur-ws.org/

Preface special issue on agents and robots for reliable engineered autonomy (AREA 2023)

Ferrando, A., Cardoso, R. C.

Annals of Mathematics and Artificial Intelligence, vol. 93, pp. 517-518

Contributions to Journals: Editorials

Digital Object Identifier

https://doi.org/10.1007/s10472-025-09991-9

Additional Links

Provided by the Springer Nature SharedIt content-sharing initiative

View publication in Scopus