Publications | The School of Natural and Computing Sciences

Publications

Currently viewing:

Page 5 of 7 Results 101 to 125 of 171

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
Bridging the gap between single- and multi-model predictive runtime verification

2022

Ferrando, A., Cardoso, R. C., Farrell, M., Luckcuck, M., Papacchini, F., Fisher, M., Mascardi, V.

Formal Methods in System Design, vol. 59, no. 1-3, pp. 44-76

Contributions to Journals: Articles

Digital Object Identifier

https://doi.org/10.1007/s10703-022-00395-7

Open Access

http://aura.abdn.ac.uk/bitstreams/176d2637-0883-482d-a0e6-0ded091633a5/download

Additional Links

View publication in Scopus
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems

2022

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

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier

https://doi.org/10.24963/kr.2022/2

Additional Links

View publication in Scopus

https://iris.uniroma1.it/handle/11573/1659633
Multi-Agent Intention Progression with Reward Machines

2022

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

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier

https://doi.org/10.24963/ijcai.2022/31

Additional Links

https://ijcai-22.org/main-track-accepted-papers/

https://www.ijcai-22.org/ijcai-2022-schedule/
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)∗

2022

De Giacomo, G., Felli, P., Logan, B., Patrizi, F., Sardina, S.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier

https://doi.org/10.24963/ijcai.2022/798

Additional Links

View publication in Scopus
Inverse Problems for Gradual Semantics

2022

Oren, N., Yun, B., Vesic, S., Baptista, M. S.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier

https://doi.org/10.24963/ijcai.2022/377

Additional Links

https://www.ijcai.org/proceedings/2022/0377.pdf
Using Knowledge Graphs to Unlock Practical Collection, Integration, and Audit of AI Accountability Information

2022

Naja, I., Markovic, M., Edwards, P., Pang, W., Cottrill, C., Williams, R.

IEEE Access, vol. 10, pp. 74383 - 74411

Contributions to Journals: Articles

Digital Object Identifier

https://doi.org/10.1109/ACCESS.2022.3188967

Open Access

http://aura.abdn.ac.uk/bitstreams/4ed8948a-3cb0-4942-8fb5-39e86b847d38/download
HyperTensioN and Total-order Forward Decomposition optimizations

2022

Magnaguagno, M. C., Meneguzzi, F., Silva, L. d.

Working Papers and Discussion Papers

Open Access

http://aura.abdn.ac.uk/bitstreams/e8e21086-0105-4717-a8ff-a1e9e32d6d50/download
Goal Recognition as Reinforcement Learning

2022

Amado, L. R., Mirsky, R., Meneguzzi, F.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier

https://doi.org/10.1609/aaai.v36i9.21198

Additional Links

https://abdn.elsevierpure.com/en/publications/8622c946-8200-40cf-b98e-d758f0fa8f80
Representing Pure Nash Equilibria in Argumentation

2022

Yun, B., Vesic, S., Oren, N.

Argument and Computation, vol. 13, no. 2, pp. 195-208

Contributions to Journals: Articles

Online

https://arxiv.org/abs/2006.11020

Digital Object Identifier

https://doi.org/10.3233/AAC-210007

Open Access

http://aura.abdn.ac.uk/bitstreams/84e4dd18-21c6-4752-83de-edb805dc148f/download
Chameleon - A Framework for Developing Conversational Agents for Medical Training Purposes

2022

Abutaleb, A., Yun, B.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Online

https://www.ifaamas.org/Proceedings/aamas2022/

Additional Links

https://dl.acm.org/doi/abs/10.5555/3535850.3536141
Utility Functions for Human/Robot Interaction

2022

Yun, B., Croitoru, M., Oren, N.

Contributions to Conferences: Papers

Online

https://drive.google.com/file/d/15SLQCvNCxgsac-IFAE_qnhjaZZxR49Ns/view

Additional Links

RaD-AI 2022
Explaining BDI Agent Behaviour Through Dialogue

2022

Dennis, L. A., Oren, N.

Autonomous Agents and Multi-Agent Systems, vol. 36, 29

Contributions to Journals: Articles

Digital Object Identifier

https://doi.org/10.1007/s10458-022-09556-8

Open Access

http://aura.abdn.ac.uk/bitstreams/2638a7d3-aab0-4b54-b1cd-2f2f95c48efc/download
Prototyping an IoT Transparency Toolkit to support Communication, Governance and Policy in the Smart City

2022

Jacobs, N., Loveday, F., Markovic, M., Cottrill, C., Zullo, R., Edwards, P.

The Design Journal, vol. 25, no. 3, pp. 459-480

Contributions to Journals: Articles

Digital Object Identifier

https://doi.org/10.1080/14606925.2022.2061775

Open Access

http://aura.abdn.ac.uk/bitstreams/18e8897c-8a64-42e6-8c1e-3566f03773a8/download
Utility Functions for Human/Robot Interaction

2022

Yun, B., Oren, N., Croitoru, M.

Working Papers and Discussion Papers

Digital Object Identifier

https://doi.org/10.48550/arXiv.2204.04071

Open Access

http://aura.abdn.ac.uk/bitstreams/0fca2e8b-434a-4347-bea1-0fa863c49e39/download

Additional Links

http://arxiv.org/abs/2204.04071v1
Editorial: Advances in Goal, Plan and Activity Recognition

2022

Vered, M., Mirsky, R., Fraga Pereira, R., Meneguzzi, F.

Frontiers in Artificial Intelligence, vol. 5, 861669

Contributions to Journals: Editorials

Digital Object Identifier

https://doi.org/10.3389/frai.2022.861669

Open Access

http://aura.abdn.ac.uk/bitstreams/48f56c96-250f-453a-ae2e-ed1ee137fbad/download

Additional Links

View publication in Scopus
Analytical Solutions for the Inverse Problem within Gradual Semantics

2022

Oren, N., Yun, B., Libman, A., Baptista, M. S.

Working Papers and Discussion Papers

Digital Object Identifier

https://doi.org/10.48550/arXiv.2203.01201

Open Access

http://aura.abdn.ac.uk/bitstreams/9d849698-2dd6-4a4a-bc86-8ede297892b2/download

Additional Links

http://arxiv.org/abs/2203.01201v1
From transparency to accountability of intelligent systems: Moving beyond aspirations

2022

Williams, R., Cloete, R., Cobbe, J., Cottrill, C., Edwards, P., Markovic, M., Naja, I., Ryan, F., Singh, J., Pang, W.

Data & Policy, vol. 4, e7

Contributions to Journals: Articles

Digital Object Identifier

https://doi.org/10.1017/dap.2021.37

Open Access

http://aura.abdn.ac.uk/bitstreams/9a66bf69-a92e-4f51-b055-ab1b707e3a02/download
The Inverse Problem for Argumentation Gradual Semantics

2022

Oren, N., Yun, B., Vesic, S., Baptista, M. S.

Working Papers and Discussion Papers

Digital Object Identifier

https://doi.org/10.48550/arXiv.2202.00294

Open Access

http://aura.abdn.ac.uk/bitstreams/2c918476-ee50-45a6-8caf-50c364ea0f46/download

Additional Links

http://arxiv.org/abs/2202.00294v1
Diversity-Augmented Intrinsic Motivation for Deep Reinforcement Learning

2022

Dai, T., Du, Y., Fang, M., Bharath, A. A.

Neurocomputing, vol. 468, pp. 396-406

Contributions to Journals: Articles

Digital Object Identifier

https://doi.org/10.1016/j.neucom.2021.10.040

Additional Links

http://dx.doi.org/10.1016/j.neucom.2021.10.040
On probabilistic argumentation and subargument-completeness

2022

Riveret, R., Oren, N.

Journal of Logic and Computation, vol. 32, no. 1, pp. 115-128

Contributions to Journals: Articles

Digital Object Identifier

https://doi.org/10.1093/logcom/exab053

Additional Links

View publication in Scopus
FlyTrap: A Blockchain-based Proxy for Authorisation and Audit of MQTT Connections

2022

Dryja, K., Markovic, M., Edwards, P.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier

https://doi.org/10.1109/IOTSMS53705.2021.9704968

Open Access

http://aura.abdn.ac.uk/bitstreams/aa268365-10a4-45b7-9f0c-d0e5b39ce707/download
Using Agent-Based Simulation to Investigate Behavioral Interventions in a Pandemic: Simulating Behavioral Interventions in a Pandemic

2022

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

Contributions to Journals: Conference Articles

Online

https://ceur-ws.org/Vol-3182/paper7.pdf

Open Access

http://aura.abdn.ac.uk/bitstreams/aa4deeca-59ef-4a1f-83d1-a87013f6a826/download

Additional Links

View publication in Scopus

https://ceur-ws.org/Vol-3182/

Show 10 | 25 | 50 | 100 results per page

Extending Attack-Fault Trees with Runtime Verification

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

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

Bridging the gap between single- and multi-model predictive runtime verification

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems

Multi-Agent Intention Progression with Reward Machines

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)∗

Inverse Problems for Gradual Semantics

Using Knowledge Graphs to Unlock Practical Collection, Integration, and Audit of AI Accountability Information

HyperTensioN and Total-order Forward Decomposition optimizations

Goal Recognition as Reinforcement Learning

Representing Pure Nash Equilibria in Argumentation

Chameleon - A Framework for Developing Conversational Agents for Medical Training Purposes

Utility Functions for Human/Robot Interaction

Explaining BDI Agent Behaviour Through Dialogue

Prototyping an IoT Transparency Toolkit to support Communication, Governance and Policy in the Smart City

Utility Functions for Human/Robot Interaction

Editorial: Advances in Goal, Plan and Activity Recognition

Analytical Solutions for the Inverse Problem within Gradual Semantics

From transparency to accountability of intelligent systems: Moving beyond aspirations

The Inverse Problem for Argumentation Gradual Semantics

Diversity-Augmented Intrinsic Motivation for Deep Reinforcement Learning

On probabilistic argumentation and subargument-completeness

FlyTrap: A Blockchain-based Proxy for Authorisation and Audit of MQTT Connections

Using Agent-Based Simulation to Investigate Behavioral Interventions in a Pandemic: Simulating Behavioral Interventions in a Pandemic