Publications | The School of Natural and Computing Sciences

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

2025

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

2025

Ferrando, A., Cardoso, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.3233/FAIA251228

A BDI Task-oriented Agent in Belief Space

2025 - E-pub ahead of print

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

2025 - E-pub ahead of print

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

Contributions to Conferences: Papers

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

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

2025 - Accepted/In press

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)

2025

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

Evaluating BDI Agents in ROS: From Basic Integration to Fault Tolerant Multi-Robot Systems

2025 - Accepted/In press

Du, Q., Cardoso, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Pushdown Reward Machines for Reinforcement Learning

2025 - Accepted/In press

Varricchione, G., Klassen, T. Q., Alechina, N., Dastani, M., Logan, B., McIlraith, S. A.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Patient-Centred Explainability in IVF Outcome Prediction

2025

Sivaprasad, A., Reiter, E., McLernon, D., Tintarev, N., Bhattacharya, S., Oren, N.

Working Papers and Discussion Papers: Working Papers

Digital Object Identifier: https://doi.org/10.48550/arXiv.2506.18760

Generalised BDI Planning

2025

Meneguzzi, F., Pereira, R. F., Oren, N.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.5555/3709347.3743782

Hypertension and total-order forward decomposition optimizations

2025

Cecílio Magnaguagno, M., Meneguzzi, F., de Silva, L.

Autonomous Agents and Multi-Agent Systems, vol. 39, 24

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1007/s10458-025-09705-9
Open Access: http://aura.abdn.ac.uk/bitstreams/ba480a4f-cfe3-47ba-86cc-dc121ad69f6f/download
Additional Links: View publication in Scopus

Probabilistic Strategy Logic with Degrees of Observability

2025

Mu, C., Motamed, N., Alechina, N., Logan, B.

Contributions to Journals: Conference Articles

Digital Object Identifier: https://doi.org/10.1609/aaai.v39i14.33655
Open Access: http://aura.abdn.ac.uk/bitstreams/04d9740e-e77e-4ae0-8eac-22c4d1f00fb7/download

Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems

2025

Mu, C., Najib, M., Oren, N.

Contributions to Journals: Conference Articles

Digital Object Identifier: https://doi.org/10.1609/aaai.v39i22.34492
Open Access: http://aura.abdn.ac.uk/bitstreams/f073fbff-d670-45d0-8f0c-8e06050015c6/download
Additional Links: https://aaai.org/aaai-publications/aaai-conference-proceedings/

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models

2025

Gladyshev, M., Alechina, N., Dastani, M., Doder, D., Logan, B.

Contributions to Journals: Conference Articles

Digital Object Identifier: https://doi.org/10.1609/aaai.v39i14.33639
Additional Links: View publication in Scopus

Automated Planning for Optimal Data Pipeline Instantiation

2025

Amado, L. R., Vogel, A., Griebler, D., Licks, G. P., Simon, E., Meneguzzi, F.

Working Papers and Discussion Papers

Digital Object Identifier: https://doi.org/10.48550/arXiv.2503.12626
Open Access: http://aura.abdn.ac.uk/bitstreams/654a9ed6-43a7-4f81-b612-33cc91dea4da/download

Landmark Generation in HTN Planning, Revisited

2025 - Accepted/In press

Meneguzzi, F.

Contributions to Conferences: Papers

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models

2025

Gladyshev, M., Alechina, N., Dastani, M., Doder, D., Logan, B.

Contributions to Conferences: Papers

Open Access: http://aura.abdn.ac.uk/bitstreams/1520e548-d47a-4e6f-8b7f-852f78bf07db/download

Intention Recognition in Real-Time Interactive Navigation Maps

2025

Zhao, P., Arefin, Z., Meneguzzi, F., Pereira, R. F.

Working Papers and Discussion Papers

Digital Object Identifier: https://doi.org/10.48550/arXiv.2502.17581
Open Access: http://aura.abdn.ac.uk/bitstreams/e650dd39-3329-41bb-aa7a-97c00c8e6dc7/download

Towards partial monitoring: Never too early to give in

2025

Ferrando, A., Cardoso, R. C.

Science of Computer Programming, vol. 240, 103220

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1016/j.scico.2024.103220
Open Access: http://aura.abdn.ac.uk/bitstreams/86e0af6b-7ff4-447f-a1b7-6d110ce75c04/download
Additional Links: View publication in Scopus

Probabilistic Strategy Logic with Degrees of Observability

2025

Mu, C., Motamed, N., Alechina, N., Logan, B.

Working Papers and Discussion Papers

Online: https://arxiv.org/abs/2412.15135
Digital Object Identifier: https://doi.org/10.48550/arXiv.2412.15135

Landmark Generation in HTN Planning Revisited

2025

Putrich, V. S., Meneguzzi, F., Pereira, A. G.

Contributions to Conferences

Digital Object Identifier: https://doi.org/10.1609/icaps.v35i1.36123
Additional Links: View publication in Scopus

Preface

2025

Ferrando, A., Cardoso, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.1007/978-3-031-73180-8
Additional Links: View publication in Scopus

Embedding AI-Enabled Data Infrastructures for Sustainability in Agri-Food: Soft-Fruit and Brewery Use Case Perspectives

2024

Markovic, M., Li, A. H., Ayall, T. A., Watson, N. J., Bowler, A. L., Woods, M., Edwards, P., Ramsey, R., Beddows, M. A., Kuhnert, M., Leontidis, G.

Sensors, vol. 24, no. 2024, 7327

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.3390/s24227327
Open Access: http://aura.abdn.ac.uk/bitstreams/56c28a6a-f00e-40ac-bba6-09604d02fea9/download

Farm Explorer: A Tool for Calculating Transparent Greenhouse Gas Emissions

2024

Markovic, M., Germano, S., Garijo, D., Edwards, P., Li, A., Ayall, T. A., Ramsey, R., Leontidis, G.

Contributions to Journals: Conference Articles

Online: https://ceur-ws.org/Vol-3828/paper31.pdf
Open Access: http://aura.abdn.ac.uk/bitstreams/8933a31f-de0d-4382-8d8d-c6d04b6473a2/download

Measuring Responsibility in Multi-Agent Systems

2024

Mu, C., Oren, N.

Working Papers and Discussion Papers

Digital Object Identifier: https://doi.org/10.48550/arXiv.2411.00887
Open Access: http://aura.abdn.ac.uk/bitstreams/cec2d5c1-3f4e-4ec3-ba9f-aa83a5b1e585/download