Publications | The School of Natural and Computing Sciences

Sentence representations for semantic textual similarity: A systematic review

2026

Guder, L., Aires, J. P., da Silva, H. U., Meneguzzi, F., Griebler, D.

Computer Speech & Language, vol. 100, 101970

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1016/j.csl.2026.101970
Open Access: http://aura.abdn.ac.uk/bitstreams/157f32d9-c571-42bc-bb14-0c6f9b043631/download

Beyond Mimicry: Toward Lifelong Adaptability in Imitation Learning

2026

Gavenski, N., Meneguzzi, F., Rodrigues, O.

Working Papers and Discussion Papers

Open Access: https://pure.abdn.ac.uk/ws/files/315705169/2602.19930v1.pdf

Grail: Goal Recognition Alignment through Imitation Learning

2026

Elhadad, O., Meneguzzi, F., Mirsky, R.

Working Papers and Discussion Papers

Open Access: https://pure.abdn.ac.uk/ws/files/315705113/2602.14252v1.pdf

Towards AI-Sympathy Using Agents

2026 - Accepted/In press

Rodriguez, S., Logan, B., Thangarajah, J.

Contributions to Conferences

Open-World Verification: A Grand Challenge for Autonomous System

2026 - Accepted/In press

Leahy, K., Asgari, H., Dennis, L. A., Feather, M. S., Fisher, M., Ibanez-Guzman, J., Logan, B., I. Olszewska, J., Redfield, S.

Proceedings of the IEEE

Contributions to Journals: Articles

Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning

2026 - Accepted/In press

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

2026 - Accepted/In press

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

2026 - Accepted/In press

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

2025 - Accepted/In press

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

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

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

2025

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

Contributions to Journals: Conference Articles

Online: https://ceur-ws.org/Vol-4142/
Open Access: http://aura.abdn.ac.uk/bitstreams/1551cdbb-82de-4c52-8848-8fad72f5e5d7/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
Open Access: http://aura.abdn.ac.uk/bitstreams/c7846450-ab13-4356-a2d1-8e32bb881881/download

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
Open Access: http://aura.abdn.ac.uk/bitstreams/eb62b1ff-a1bb-4523-9742-37490d08f674/download

Synthesising Minimum Cost Dynamic Norms

2025 - E-pub ahead of print

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

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
Open Access: http://aura.abdn.ac.uk/bitstreams/1520e548-d47a-4e6f-8b7f-852f78bf07db/download
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