Rustam Galimullin

ORCID

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 24

Top Venues

University of Nottingham, UK (PHD)

Education History

University of Nottingham, UK

PHD

Publications

Vitaliy Dolgorukov, Rustam Galimullin, Maksim Gladyshev
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents. CoRR (2024)
Vitaliy Dolgorukov, Rustam Galimullin, Maksim Gladyshev
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents. AAMAS (2024)
Rustam Galimullin, Louwe B. Kuijer
Synthesizing Social Laws with ATL Conditions. AAMAS (2024)
Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin
The Expressivity of Quantified Group Announcements. J. Log. Comput. 33 (6) (2023)
Rustam Galimullin, Louwe B. Kuijer
-hard. TARK (2023)
Rustam Galimullin, Fernando R. Velázquez-Quesada
(Arbitrary) Partial Communication. AAMAS (2023)
Thomas Ågotnes, Rustam Galimullin
Quantifying over information change with common knowledge. Auton. Agents Multi Agent Syst. 37 (1) (2023)
Rustam Galimullin, Fernando R. Velázquez-Quesada
(Arbitrary) Partial Communication. CoRR (2023)
Rustam Galimullin, Thomas Ågotnes
Coalition Logic for Specification and Verification of Smart Contract Upgrades. PRIMA (2022)
Rustam Galimullin, Mina Young Pedersen, Marija Slavkovik
Logic of Visibility in Social Networks. WoLLIC (2022)
Thomas Ågotnes, Natasha Alechina, Rustam Galimullin
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. J. Log. Lang. Inf. 31 (2) (2022)
Hans van Ditmarsch, Tim French, Rustam Galimullin
Satisfiability of Quantified Boolean Announcements. CoRR (2022)
Rustam Galimullin, Thomas Ågotnes
Action Models for Coalition Logic. DaLí (2022)
Hans van Ditmarsch, Tim French, Rustam Galimullin
No Finite Model Property for Logics of Quantified Announcements. TARK (2021)
Rustam Galimullin
Coalition and Relativised Group Announcement Logic. J. Log. Lang. Inf. 30 (3) (2021)
Rustam Galimullin, Thomas Ågotnes
Quantified Announcements and Common Knowledge. AAMAS (2021)
Rustam Galimullin, Thomas Ågotnes
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. LORI (2021)
Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin, Tuo Wang
Verification and Strategy Synthesis for Coalition Announcement Logic. J. Log. Lang. Inf. 30 (4) (2021)
Rustam Galimullin, Thomas Ågotnes, Natasha Alechina
Group Announcement Logic with Distributed Knowledge. LORI (2019)
Elise Perrotin, Rustam Galimullin, Quentin Canu, Natasha Alechina
Public Group Announcements and Trust in Doxastic Logic. LORI (2019)
Tim French, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina
Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. AAMAS (2019)
Rustam Galimullin, Natasha Alechina
Coalition and Group Announcement Logic. CoRR (2018)
Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch
Model Checking for Coalition Announcement Logic. KI (2018)
Rustam Galimullin, Natasha Alechina
Coalition and Group Announcement Logic. TARK (2017)

Rustam Galimullin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rustam Galimullin