Rustam Galimullin

About

I am an associate professor at the Department of Information Science and Media Studies, University of Bergen. Before that, I was a postdoc at the same place, and, even earlier, at LSV, CNRS, ENS Paris-Saclay. I received my PhD degree from the School of Computer Science, Nottingham University, working under the supervision of Natasha Alechina. My research interests are in modal logics for multi-agent systems, and specifically in dynamic epistemic logics and strategy logics. You can reach me at first_name.last_name@uib.no

Dolgorukov, V., Galimullin, R., and Gladyshev, M. (2024). Dynamic Epistemic Logic of Resource Bounded Information Mining Agents. In Alechina, N., Dignum, V., Dastani, M., and Sichman, J.S., editors, Proceedings of the 23rd AAMAS, pages 481–489. [paper] [pdf] [slides by Maksim] [poster by Maksim]
Galimullin, R. and Kuijer L. B. (2024). Synthesizing Social Laws with ATL Conditions. In Alechina, N., Dignum, V., Dastani, M., and Sichman, J.S., editors, Proceedings of the 23rd AAMAS, pages 2270–2272. [paper] [pdf] [poster]

VvL invited lecture Dynamic Epistemic Logic Essentials held at Utrecht University, November, 2023. [slides] [abstract at VvL]
Alechina, N., van Ditmarsch, H., French, T., and Galimullin, R. (2023). The Expressivity of Quantified Group Announcements. Journal of Logic and Computation 33(6), pages 1122–1151. OUP. [paper] [pdf]
Together with Louwe B. Kuijer, I taught at a course on Quantification in Dynamic Epistemic Logic. [Web page of the course with slides and reading materials]
Galimullin, R. and Kuijer L. B. (2023). Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard. In Verbrugge, R., editor, Proceedings of the 19th TARK, volume 379 of EPTCS, pages 260–271. [paper] [pdf] [slides]
Galimullin, R. and Velázquez-Quesada, F. R. (2023). (Arbitrary) Partial Communication. In Agmon, N., An, B., Ricci A., and Yeoh, W., editors, Proceedings of the 22nd AAMAS, pages 400–408. IFAAMAS. [paper] [pdf] [slides] [poster]
Ågotnes, T. and Galimullin, R. (2023). Quantifying over information change with common knowledge. Autonomous Agents and Multi-Agent Systems 37(19), 40 pages. Springer. [paper] [pdf]
Galimullin, R. and Ågotnes, T. (2023). Action Models for Coalition Logic. In: Areces, C. and Costa, D., editors, Proceedings of the 4th DaLí, volume 13780 of LNCS, 73–89. Springer. [paper] [pdf] [slides]
Talk at the Department of Computer Science of the University of Liverpool, February, 2023. [slides] [abstract at UoL]

Galimullin, R. and Ågotnes, T. (2022). Coalition Logic for Specification and Verification of Smart Contract Upgrades. In Aydoğan, R., Criado, N., Lang, J., Sanchez-Anguix, V., and Serramia, M., editors, Proceedings of the 24th PRIMA, volume 13753 of LNCS, 563–572. Springer. [paper] [pdf] [slides]
Galimullin, R., Pedersen, M.Y., and Slavkovik, M. (2022). Logic of Visibility in Social Networks. In Ciabattoni, A., Pimentel, E., and de Queiroz, R. J. G. B., editors, Proceedings of the 28th WoLLIC, volume 13468 of LNCS, 190–206. Springer. [paper] [pdf] [slides by Mina]
Galimullin, R. and Ågotnes, T. (2022). Dictatorial Dynamic Coalition Logic. Manuscript. [pdf]
Ågotnes, T., Alechina, N., and Galimullin, R. (2022). Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. Journal of Logic, Language and Information 31, pages 141–166. Springer. [paper] [pdf]

Galimullin, R. and Ågotnes, T. (2021). Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. In Ghosh, S. and Icard, T., editors, Proceedings of the 8th LORI, volume 13039 of LNCS, pages 88–101. Springer. [paper] [pdf] [slides]
Alechina, N., van Ditmarsch, H., Galimullin, R., and Wang, T. (2021). Verification and Strategy Synthesis for Coalition Announcement Logic. Journal of Logic, Language and Information 30(4), pages 671–700. Springer. [paper] [pdf] [model checker]
Talk at LAMAS&SR, London (Online), May, 2021. [abstract] [slides]
van Ditmarsch, H., French, T., and Galimullin, R. (2021). No Finite Model Property for Logics of Quantified Announcements. In Halpern, J. Y., and Perea, A., editors, Proceedings of the 18th TARK, volume 335 of EPTCS, pages 129–139. [paper] [pdf] [slides] [poster]
Talk at Logic and Interactive Rationality (LIRa) seminar, ILLC, Amsterdam (Online), April, 2021. [slides] [video]
Galimullin, R. (2021). Coalition and Relativised Group Announcement Logic. Journal of Logic, Language and Information 30(3), pages 451–489. Springer. [paper] [pdf]
Galimullin, R. and Ågotnes, T. (2021). Quantified Announcements and Common Knowledge. In Endriss, U., Nowé, A., Dignum., F. and Lomuscio, A., editors, Proceedings of the 20th AAMAS, pages 528–536. IFAAMAS. [paper] [pdf] [slides]

Galimullin, R., Ågotnes, T., and Alechina, N. (2019). Group Announcement Logic with Distributed Knowledge. In Blackburn, P., and Lorini, E., editors, Proceedings of the 7th LORI, volume 11813 of LNCS, 98–111. Springer. [paper] [pdf] [slides]
Perrotin, E., Galimullin, R., Canu, Q., and Alechina, N. (2019). Public Group Announcements and Trust in Doxastic Logic. In Blackburn, P., and Lorini, E., editors, Proceedings of the 7th LORI, volume 11813 of LNCS, 199–213. Springer. [paper] [pdf] [slides by Elise]
Galimullin, R. (2019) Coalition announcements. PhD Thesis, University of Nottingham, UK. [thesis]
French, T., Galimullin, R., van Ditmarsch, H., and Alechina, N. (2019). Groups versus coalitions: on the relative expressivity of GAL and CAL. In Agmon, N., Taylor, M. E., Elkind, E., and Veloso M., editors, Proceedings of the 18th AAMAS, pages 953–961. IFAAMAS. [paper] [pdf] [slides] [poster]

Galimullin, R., Alechina, N., and van Ditmarsch, H. (2018). Model checking for coalition announcement logic. In Trollmann, F. and Turhan, A.-Y., editors, KI 2018: Advances in Artificial Intelligence, volume 11117 of LNCS, pages 11–23. Springer. [paper] [pdf] [slides] [student paper award]
Galimullin, R. and Alechina, N. (2017). Coalition and group announcement logic. In Lang, J., editor, Proceedings of the 16th TARK, volume 251 of EPTCS, pages 207–220. [paper] [pdf] [poster] [corrected version of the paper]
Presentation at NASSLLI 2016 [slides]