Publications | The School of Natural and Computing Sciences

Publications

Currently viewing:

Page 11 of 18 Results 101 to 110 of 172

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
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

Show 10 | 25 | 50 | 100 results per page

The Complexity of Norm Synthesis and Revision

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