Publicaties
2022
Wetenschappelijke publicaties
Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M., & Logan, B. (2022). Data-Driven Revision of Conditional Norms in Multi-Agent Systems. Journal of Artificial Intelligence Research, 75, 1549-1593. https://doi.org/10.1613/JAIR.1.13683
Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M., Löffler, M., & Logan, B. (2022). The Complexity of Norm Synthesis and Revision. In N. Ajmeri, A. M. Martin, & B. T. R. Savarimuthu (Eds.), Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV: International Workshop, COINE 2022, Virtual Event, May 9, 2022, Revised Selected Papers (pp. 38-53). (Lecture Notes in Computer Science ; Vol. 13549). Springer. https://doi.org/10.1007/978-3-031-20845-4_3
Alechina, N., van Ditmarsch, H., French, T., & Galimullin, R. (2022). The Expressivity of Quantified Group Announcements. Journal of Logic and Computation. https://doi.org/10.1093/logcom/exac082
Ågotnes, T., Alechina, N., & Galimullin, R. (2022). Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. Journal of Logic, Language and Information, 31(2), 141-166. https://doi.org/10.1007/s10849-022-09355-0
Alechina, N., Giacomo, G. D., Logan, B., & Perelli, G. (2022). Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (pp. 12-21) https://doi.org/10.24963/kr.2022/2
Dann, M., Yao, Y., Alechina, N., Logan, B., & Thangarajah, J. (2022). Multi-Agent Intention Progression with Reward Machines. In L. De Raedt (Ed.), Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22) (pp. 215-222). (IJCAI International Joint Conference on Artificial Intelligence). International Joint Conferences on Artificial Intelligence Organization. https://doi.org/10.24963/IJCAI.2022/31
Alechina, N., Baldoni, M., & Logan, B. (Eds.) (2022). Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers. (Lecture Notes in Computer Science; Vol. 13190), (EMAS@AAMAS). Springer Verlag. https://doi.org/10.1007/978-3-030-97457-2
2021
Wetenschappelijke publicaties
Alechina, N., van Ditmarsch, H., Galimullin, Rustam, & Wang, T. (2021). Verification and Strategy Synthesis for Coalition Announcement Logic. Journal of Logic, Language and Information, 30(4), 671-700. https://doi.org/10.1007/s10849-021-09339-6
Yao, Y., Alechina, N., Logan, B., & Thangarajah, J. (2021). Intention Progression using Quantitative Summary Information. 1416--1424. Paper presented at 20th International Conference on Autonomous Agents and Multiagent Systems.
https://dspace.library.uu.nl/bitstream/handle/1874/415633/p1416.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/415633/p1416.pdf?sequence=1
2020
Wetenschappelijke publicaties
Alechina, N., & Logan, B. (2020). State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems. In A. Blass, P. Cégielski, N. Dershowitz, M. Droste, & B. Finkbeiner (Eds.), Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday (pp. 9-29). (Lecture Notes in Computer Science; Vol. 12180). Springer Cham. https://doi.org/10.1007/978-3-030-48006-6_2
Du, H., Alechina, N., & Cohn, A. G. (2020). A Logic of Directions. In C. Bessiere (Ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (pp. 1695-1702). ijcai.org. https://doi.org/10.24963/ijcai.2020/235
Yao, Y., Alechina, N., Logan, B., & Thangarajah, J. (2020). Intention Progression under Uncertainty. In C. Bessiere (Ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (pp. 10-16). ijcai.org. https://doi.org/10.24963/ijcai.2020/2
Alechina, N. A., Demri, S., & Logan, B. S. (2020). Parameterised Resource-Bounded ATL. In Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020 (Vol. 34, pp. 7040-7046). AAAI Press. https://doi.org/10.1609/aaai.v34i05.6189
2019
Wetenschappelijke publicaties
Ågotnes, T., & Alechina, N. (2019). Coalition logic with individual, distributed and common knowledge. Journal of Logic and Computation, 29(7), 1041-1069. https://doi.org/10.1093/logcom/exv085
Yazdanpanah, V., Dastani, M., Jamroga, W., Alechina, N., & Logan, B. (2019). Strategic Responsibility Under Imperfect Information. In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019 (pp. 592-600) http://dl.acm.org/citation.cfm?id=3331745
Alechina, N., Dastani, M., & Logan, B. (2019). Decidable Model Checking with Uniform Strategies. In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019 (pp. 170-178) http://dl.acm.org/citation.cfm?id=3331690