Publications | The School of Natural and Computing Sciences

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

Generalised BDI Planning

2024 - Accepted/In press

Oren, N.

Contributions to Conferences: Papers

Probabilistic Strategy Logic with Degrees of Observability

2024 - Accepted/In press

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

Contributions to Conferences: Papers

Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems

2024 - Accepted/In press

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

Contributions to Conferences: Papers

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/bitstream/2164/24638/1/sensors-24-07327.pdf

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.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

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/bitstream/2164/24802/1/main.pdf

Responsibility-aware Strategic Reasoning in Probabilistic Multi-Agent Systems

2024

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

Working Papers and Discussion Papers

Digital Object Identifier: https://doi.org/10.48550/arXiv.2411.00146
Open Access: http://aura.abdn.ac.uk/bitstream/2164/24808/1/main.pdf

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/bitstream/2164/24667/1/Ferrando_etal_SCP_Towards_partial_monitoring_VOR.pdf
Additional Links: View publication in Scopus

GenSynthPop: generating a spatially explicit synthetic population of individuals and households from aggregated data

2024

De mooij, J., Sonnenschein, T., Pellegrino, M., Dastani, M., Ettema, D., Logan, B., Verstegen, J. a.

Autonomous Agents and Multi-Agent Systems, vol. 38, no. 2, 48

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1007/s10458-024-09680-7
Open Access: http://aura.abdn.ac.uk/bitstream/2164/24334/1/Mooij_etal_AAMAS_GenSynthPop_Generating_A_VoR.pdf

Maximally Permissive Reward Machines

2024 - Accepted/In press

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

Contributions to Conferences: Papers

A Survey on Model-Free Goal Recognition

2024

Amado, L., Shainkopf, S. P., Pereira, R. F., Mirsky, R., Meneguzzi, F.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.24963/ijcai.2024/877
Additional Links: View publication in Scopus

Intention Progression with Temporally Extended Goals

2024

Yao, Y., Alechina, N., Logan, B.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.24963/ijcai.2024/33
Additional Links: View publication in Scopus

Assessment of Radiation-Induced Soft Error on Unmanned Surface Vehicles

2024

Fleck, M. A., Pereira, E. G., Gava, J. F., Silva, H. B., Moraes, F. G., Calazans, N. L. V., Meneguzzi, F., Bastos, R. P., Reis, R. A. L., Ost, L., Garibotti, R.

IEEE Transactions on Nuclear Science, vol. 71, no. 8, pp. 1589 - 1597

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1109/TNS.2024.3378807

Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition

2024

Buss becker, L., Downs, A., Schlenoff, C., Albrecht, J., Kootbally, Z., Ferrando, A., Cardoso, R., Fisher, M.

Journal of Intelligent & Robotic Systems, vol. 110, no. 112

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1007/s10846-024-02148-6
Open Access: http://aura.abdn.ac.uk/bitstream/2164/23960/1/Buss_etal_JIRS_Effects_Of_The_VoR.pdf

A Practical Operational Semantics for Classical Planning in BDI Agents

2024 - Accepted/In press

Xu, M., Lumley, T., Fraga Pereira, R., Meneguzzi, F.

Contributions to Conferences: Papers

Additional Links: https://www.ecai2024.eu/

Explorative Imitation Learning: A Path Signature Approach for Continuous Environments

2024 - Accepted/In press

Gavenski, N., Monteiro Dos Santos Júnior, J., Meneguzzi, F., Luck, M., Rodrigues, O.

Contributions to Conferences: Papers

Real-time goal recognition using approximations in Euclidean space

2024 - Accepted/In press

Tesch, D., Amado, L., Meneguzzi, F.

Contributions to Conferences: Papers

Additional Links: Conference website

Security-Minded Verification of Cooperative Awareness Messages

2024

Farrell, M., Bradbury, M., Cardoso, R. C., Fisher, M., Dennis, L. A., Dixon, C., Sheik, A. T., Yuan, H., Maple, C.

IEEE Transactions on Dependable and Secure Computing, vol. 21, no. 4, pp. 4048-4065

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1109/TDSC.2023.3345543
Open Access: http://aura.abdn.ac.uk/bitstream/2164/23926/1/Farrell_etal_IEEETDSC_Security-Minded_Verification_Cooperative_VOR.pdf
Additional Links: View publication in Scopus

Intention Progression with Temporally Extended Goals

2024 - Accepted/In press

Yao, Y., Alechina, N., Logan, B.

Contributions to Conferences: Papers

Model pruning enables localized and efficient federated learning for yield forecasting and data sharing

2024

Li, A. H., Markovic, M., Edwards, P., Leontidis, G.

Expert Systems with Applications, vol. 242, pp. 1-12

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1016/j.eswa.2023.122847
Open Access: http://aura.abdn.ac.uk/bitstream/2164/22372/1/Leontidis_1-s2.0-S0957417423033493-main.pdf
Additional Links: https://www.sciencedirect.com/science/article/pii/S0957417423033493

BDI Agents in Natural Language Environments

2024

Ichida, A. Y., Meneguzzi, F., Cardoso, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Online: https://dl.acm.org/doi/abs/10.5555/3635637.3662942
Digital Object Identifier: https://doi.org/10.5555/3635637.3662942
Open Access: http://aura.abdn.ac.uk/bitstream/2164/23497/1/Yukio_etal_AAMAS_BDI_Agents_In_VoR.pdf
Additional Links: https://www.ifaamas.org/Proceedings/aamas2024/forms/index.htm

Empowering BDI Agents with Generalised Decision-Making

2024

Pereira, R. F., Meneguzzi, F.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.5555/3635637.3663257
Open Access: http://aura.abdn.ac.uk/bitstream/2164/23501/1/Fraga_etal_AAMAS_Empowering_BDI_Agents_VoR.pdf

A Survey of Imitation Learning Methods, Environments and Metrics

2024

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

Working Papers and Discussion Papers

Digital Object Identifier: https://doi.org/10.48550/arXiv.2404.19456
Open Access: http://aura.abdn.ac.uk/bitstream/2164/24072/1/2404.19456v2.pdf

Goal Recognition via Linear Programming

2024

Meneguzzi, F., Santos, L. R. d. A., Pereira, R. F., Pereira, A. G.

Working Papers and Discussion Papers

Open Access: https://pure.abdn.ac.uk/ws/files/292584472/2404.07934v1.pdf

Pure-Past Action Masking

2024

Varricchione, G., Alechina, N., Dastani, M., De Giacomo, G., Logan, B., Perelli, G.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Online: https://aaai.org/aaai-publications/aaai-conference-proceedings/
Digital Object Identifier: https://doi.org/10.1609/aaai.v38i19.30163
Open Access: http://aura.abdn.ac.uk/bitstream/2164/23066/1/Varricchione_etal_AAAI_Pure_Past_Action_AAM.pdf

Unlocking the potential of sensors for our environment: A call to action from a NERC writing retreat

2024

Bagshaw, L., Bee, E., Bhowmik, D., Bridle, H., Chan, K., Gaura, E., England, P., Halford, A., Lynch, I., Maniatis, G., Martin, P., Mao, F., Mukherjee, K., Naylor, M., Novellino, A., Oren, N., Pope, F., Schaap, A., Watson, C., Van De Wiel, M., Yüksel Ripley, B.

Coventry University. 36 pages

Books and Reports: Commissioned Reports

Digital Object Identifier: https://doi.org/10.18552/CSMM/2024/0001
Open Access: http://aura.abdn.ac.uk/bitstream/2164/23262/1/NERC_writing_retreat_2024_Unlocking-potential-of-sensors.pdf

Temporally extended goal recognition in fully observable non-deterministic domain models

2024

Pereira, R. F., Fuggitti, F., Meneguzzi, F., De Giacomo, G.

Applied Intelligence, vol. 54, pp. 470-489

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1007/s10489-023-05087-1
Open Access: http://aura.abdn.ac.uk/bitstream/2164/22728/1/Pereira_etal_AI_Temporally_Extended_Goal_VOR.pdf

Evaluation of Human-Understandability of Global Model Explanations Using Decision Tree

2024

Sivaprasad, A., Reiter, E., Tintarev, N., Oren, N.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.1007/978-3-031-50396-2_3
Open Access: http://aura.abdn.ac.uk/bitstream/2164/22828/1/Sivaprasad_etal_ECAI_Evaluation_of_Human_VOR.pdf
Additional Links: View publication in Scopus; https://ecai2023.eu/; https://xai3ecai2023.github.io/

One-Shot Learning for Task-Oriented Grasping

2023

Holomjova, V., Starkey, A. J., Yun, B., Meisner, P.

IEEE Robotics and Automation Letters, vol. 8, no. 12, pp. 8232-8238

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1109/LRA.2023.3326001
Additional Links: View publication in Scopus

A Framework for Modeling Human Behavior in Large-scale Agent-based Epidemic Simulations

2023

de Mooij, J., Bhattacharya, P., Dell'Anna, D., Dastani, M., Logan, B., Swarup, S.

SIMULATION, vol. 99, no. 12, pp. 1183-1211

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1177/00375497231184898
Open Access: http://aura.abdn.ac.uk/bitstream/2164/22243/1/deMooj_etal_Sim_A_Framework_For_VOR.pdf

Inferring Attack Relations for Gradual Semantics

2023

Oren, N., Yun, B.

Argument and Computation, vol. 14, no. 3, pp. 327-345

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.3233/AAC-220010
Open Access: http://aura.abdn.ac.uk/bitstream/2164/22581/1/Oren_etYun_AaC_Inferring_Attack_Relations_VOR.pdf
Additional Links: View publication in Scopus; https://abdn.elsevierpure.com/en/publications/3f9ced3c-74b9-4e5d-834f-a652851cf5ab

Revisiting MAB based approaches to recursive delegation

2023

Oren, N.

Working Papers and Discussion Papers

A Monte Carlo Algorithm for Time-Constrained General Game Playing

2023

Putrich, V. S., Tavares, A. R., Meneguzzi, F.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

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

Detection of haematoma and peri-haematomal regions of intracerebral haemorrhage using lowfield field-cycling imaging – preliminary study results

2023

Macleod, M. J., Senn, N., Malikourti, V., Ross, J., Levi, R., Oren, N., Guttierez, G. G., Waiter, G., Broche, L.

8th World Intracranial Hemorrhage Conference (WICH 2023), OP-10

Contributions to Journals: Abstracts

Digital Object Identifier: https://doi.org/10.1159/000534450

On Observability Analysis in Multiagent Systems

2023

Mu, C., Pang, J.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.3233/FAIA230461
Open Access: http://aura.abdn.ac.uk/bitstream/2164/21726/3/Mu_etal_ECAI_On_Observability_Analysis_VOR.pdf
Additional Links: View publication in Scopus

Dynamic Causality

2023

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

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.3233/FAIA230355
Open Access: http://aura.abdn.ac.uk/bitstream/2164/22550/1/Gladyshev_etal_ECAI_Dynamic_Causality_VOR.pdf
Additional Links: View publication in Scopus

Failure Handling in BDI Plans via Runtime Enforcement

2023

Ferrando, A., Cardoso, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.3233/FAIA230336
Open Access: http://aura.abdn.ac.uk/bitstream/2164/21919/1/Ferrando_etCardoso_ECAI2023_Failure_Handling_in_VOR.pdf

Evaluation of Human-Understandability of Global Model Explanations using Decision Tree

2023

Sivaprasad, A., Reiter, E., Oren, N., Tintarev, N.

Working Papers and Discussion Papers

Online: http://arxiv.org/abs/2309.09917v1
Additional Links: https://ecai2023.eu/; https://xai3ecai2023.github.io/

Adaptive Cognitive Agents: Updating Action Descriptions and Plans

2023

Stringer, P., Cardoso, R. C., Dixon, C., Fisher, M., Dennis, L. A.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.1007/978-3-031-43264-4_22

Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition

2023

Becker, L. B., Downs, A., Schlenoff, C., Kootbally, Z., Ferrando, A., Cardoso, R. C., Fisher, M.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.1007/978-3-031-43264-4_14
Open Access: http://aura.abdn.ac.uk/bitstream/2164/21785/1/Becker_etal_EUMAS_Using_a_BDI_AAM.pdf
Additional Links: https://eumas23.github.io/home/#accepted

Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning

2023

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

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.1007/978-3-031-43264-4_21
Additional Links: View publication in Scopus; https://dspace.library.uu.nl/handle/1874/431803

Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)

2023

Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M., Logan, B.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.24963/ijcai.2023/773
Additional Links: View publication in Scopus; https://ijcai-23.org/paper-schedule/

Multi-Agent Intention Recognition and Progression

2023

Dann, M., Yao, Y., Alechina, N., Logan, B., Meneguzzi, F., Thangarajah, J.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.24963/ijcai.2023/11
Open Access: http://aura.abdn.ac.uk/bitstream/2164/20951/1/Dann_etal_IJCAI_Multi_Agent_Intention_AAM.pdf

Self-Supervised Adversarial Imitation Learning

2023

Monteiro, J., Gavenski, N., Meneguzzi, F., Barros, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.1109/IJCNN54540.2023.10191197
Additional Links: View publication in Scopus

Generosity and the Emergence of Forgiveness in the Donation Game

2023 - Accepted/In press

Oren, N.

ECAI 2023

Contributions to Conferences: Abstracts

Digital Object Identifier: https://doi.org/10.3233/FAIA230361
Open Access: http://aura.abdn.ac.uk/bitstream/2164/21299/1/Griffiths_etal_Generosity_and_the_AAM.pdf
Additional Links: https://ecai2023.eu/overview

Robust Neuro-Symbolic Goal and Plan Recognition

2023

Amado, L., Pereira, R. F., Meneguzzi, F.

Contributions to Conferences: Other Contributions

Digital Object Identifier: https://doi.org/10.1609/aaai.v37i10.26408

Probabilistic Temporal Logic for Reasoning about Bounded Policies

2023

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

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.24963/ijcai.2023/367

Modeling a Conversational Agent using BDI Framework

2023

Ichida, A. Y., Meneguzzi, F.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.1145/3555776.3577657
Open Access: http://aura.abdn.ac.uk/bitstream/2164/21282/1/Ichida_etal_Modeling_a_Conversational_VOR.pdf
Additional Links: View publication in Scopus

ML-MAS: a Hybrid AI Framework for Self-Driving Vehicles

2023

Al Shukairi, H., Cardoso, R. C.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Online: https://dl.acm.org/doi/10.5555/3545946.3598762
Open Access: http://aura.abdn.ac.uk/bitstream/2164/21262/1/Cardoso_AAMAS_2023_AAM.pdf