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