Publications | The School of Natural and Computing Sciences

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

Intention Progression with Temporally Extended Goals

2024

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

Contributions to Conferences: Papers

Digital Object Identifier: https://doi.org/10.24963/ijcai.2024/33
Open Access: http://aura.abdn.ac.uk/bitstreams/9a05f3f4-143f-4f60-a148-1a446a758903/download

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/bitstreams/cf1bc71e-d0cd-481b-94f3-ab3df8b6b02f/download

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

Online: https://www.scopus.com/record/display.uri?eid=2-s2.0-85213365943&origin=inward&txGid=6654ac75895fc34014a07f11c39004d1
Additional Links: https://www.ecai2024.eu/

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/bitstreams/5e927399-e85a-46ec-94a4-8d19559348e4/download
Additional Links: View publication in Scopus

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/bitstreams/b523b56b-12bc-42d0-bd50-a645cd3fd6bc/download
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/bitstreams/b0be3c5f-e248-4021-9be0-29cc4cf6fe2b/download
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/bitstreams/42f96c96-a878-42c8-921a-5b16c2a4d141/download