Publications | The School of Natural and Computing Sciences

Human-Machine Collaboration in Intelligence Analysis: An Expert Evaluation

2023

Toniolo, A., Cerutti, F., Norman, T. J., Oren, N., Allen, J. A., Srivastava, M., Sullivan, P.

Intelligent Systems with Applications (ISWA), vol. 17, 200151

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1016/j.iswa.2022.200151
Open Access: http://aura.abdn.ac.uk/bitstreams/ad310167-0bb8-4bfe-9475-54deadf16baf/download

Towards Forward Responsibility in BDI Agents

2023

Cardoso, R. C., Ferrando, A., Collenette, J., Dennis, L. A., Fisher, M.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

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

Data-Driven Revision of Conditional Norms in Multi-Agent Systems

2022

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

Journal of Artificial Intelligence Research, vol. 75, pp. 1549-1593

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.1613/JAIR.1.13683
Open Access: http://aura.abdn.ac.uk/bitstreams/336401ec-df36-4469-8282-2fee05716903/download
Additional Links: View publication in Scopus

Special issue on conceptual structures

2022

Alam, M., Braun, T., Endres, D., Yun, B.

25th International Conference on Conceptual Structures, ICCS 2020, pp. 1079-1082

Contributions to Journals: Letters

Digital Object Identifier: https://doi.org/10.1007/s10472-022-09819-w
Open Access: http://aura.abdn.ac.uk/bitstreams/8590115d-3f55-4db0-a1a9-57a3144d6712/download
Additional Links: View publication in Scopus

Assessing the Impact of Agents in Weighted Bipolar Argumentation Frameworks

2022

Himeur, A., Yun, B., Bisquert, P., Croitoru, M.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.1007/978-3-030-91100-3_6
Open Access: http://aura.abdn.ac.uk/bitstreams/1edd0632-d78e-49c1-9252-c81b60af6253/download

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems

2022

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

Contributions to Conferences: Papers

The Complexity of Norm Synthesis and Revision

2022

Dell’Anna, D., Alechina, N., Dalpiaz, F., Dastani, M., Löffler, M., Logan, B.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier: https://doi.org/10.1007/978-3-031-20845-4_3
Additional Links: View publication in Scopus; https://coin-workshop.github.io/coine-2022-auckland/papers/paper-8.pdf; Link to COINE workshop

Extending Attack-Fault Trees with Runtime Verification

2022

Cardoso, R. C., Ferrando, A., Fisher, M.

Contributions to Journals: Conference Articles

Online: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?FMAS2022.14
Digital Object Identifier: https://doi.org/10.4204/EPTCS.371.14
Open Access: http://aura.abdn.ac.uk/bitstreams/330903db-151f-4f0d-b05e-8a5d629b8f07/download
Additional Links: View publication in Scopus

Resilience, reliability, and coordination in autonomous multi-agent systems

2022

Cardoso, R. C., Logan, B., Meneguzzi, F., Oren, N., Yun, B.

AI Communications, vol. 35, no. 4, pp. 339-356

Contributions to Journals: Articles

Digital Object Identifier: https://doi.org/10.3233/AIC-220136
Open Access: http://aura.abdn.ac.uk/bitstreams/6172a81e-1580-45a5-8ff0-d2f0fdfc5d20/download

Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments

2022

Wu, H., Yun, B., Oren, N.

Contributions to Journals: Conference Articles

Online: https://ceur-ws.org/Vol-3236/paper7.pdf
Open Access: http://aura.abdn.ac.uk/bitstreams/05ba555e-daa9-436d-9a40-0f9422a92c45/download
Additional Links: View publication in Scopus; SAFA 2022 Proceedings