Currently viewing:
-
Resilience, reliability, and coordination in autonomous multi-agent systems
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/bitstream/2164/19191/1/Cardoso_etal_AIC_Resilience_Reliability_And_AAM.pdf
-
Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments
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/bitstream/2164/23281/1/Wu_etal_CEURWP_Improving_Reasoning_Efficiency_VoR.pdf
- Additional Links
-
View publication in Scopus
-
SAFA 2022 Proceedings
-
Bridging the gap between single- and multi-model predictive runtime verification
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/bitstream/2164/21267/1/Ferrando_etal_FMSD_Bridging_The_Gap_VoR.pdf
- Additional Links
-
View publication in Scopus
-
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems
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
-
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)∗
De Giacomo, G., Felli, P., Logan, B., Patrizi, F., Sardina, S.
Chapters in Books, Reports and Conference Proceedings: Conference Proceedings
- Additional Links
-
View publication in Scopus
-
Multi-Agent Intention Progression with Reward Machines
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/
-
Inverse Problems for Gradual Semantics
Oren, N., Yun, B., Vesic, S., Baptista, M.
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
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/bitstream/2164/19023/1/Naja_etal_IEEE_Using_Knowledge_Graphs_VOR.pdf
-
HyperTensioN and Total-order Forward Decomposition optimizations
Magnaguagno, M. C., Meneguzzi, F., Silva, L. d.
Working Papers and Discussion Papers
- Open Access
-
http://aura.abdn.ac.uk/bitstream/2164/19640/1/2207.00345v1.pdf
-
Goal Recognition as Reinforcement Learning
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