Rustam Galimullin

39 papers A* 2A 6B 6C 1Misc 1Journal 16Unranked 5
YearRankTypeTitle / Venue / Authors
2026 A* conf
Formal Verification of Diffusion Auctions.
AAAI
Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel
2026 J jnl
On Angels and Demons: Strategic (De)Construction of Dynamic Models.
CoRR
Davide Catta, Rustam Galimullin, Munyque Mittelmann
2025 J jnl
Anonymous Public Announcements.
CoRR
Thomas Ågotnes, Rustam Galimullin, Ken Satoh, Satoshi Tojo
2025 A conf
Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems.
AAMAS
Rustam Galimullin, Maksim Gladyshev, Munyque Mittelmann, Nima Motamed
2025 J jnl
Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems.
CoRR
Rustam Galimullin, Maksim Gladyshev, Munyque Mittelmann, Nima Motamed
2025 A* conf
First-Order Coalition Logic.
IJCAI
Davide Catta, Rustam Galimullin, Aniello Murano
2025 J jnl
First-Order Coalition Logic.
CoRR
Davide Catta, Rustam Galimullin, Aniello Murano
2025 J jnl
Formal Verification of Diffusion Auctions.
CoRR
Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel
2025 — conf
Intentionally Anonymous Public Announcements.
LORI
Thomas Ågotnes, Rustam Galimullin, Ken Satoh, Satoshi Tojo
2025 B conf
Modal Logic for Simulation, Refinement, and Mutual Ignorance.
TARK
Hans van Ditmarsch, Tim French, Rustam Galimullin, Louwe B. Kuijer
2025 J jnl
Topic-Based Communication Between Agents.
Stud Logica
Rustam Galimullin, Fernando R. Velázquez-Quesada
2025 J jnl
Varieties of Distributed Knowledge.
CoRR
Rustam Galimullin, Louwe B. Kuijer
2024 A conf
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents.
AAMAS
Vitaliy Dolgorukov, Rustam Galimullin, Maksim Gladyshev
2024 J jnl
Dynamic Epistemic Logic of Resource Bounded Information Mining Agents.
CoRR
Vitaliy Dolgorukov, Rustam Galimullin, Maksim Gladyshev
2024 A conf
Synthesizing Social Laws with ATL Conditions.
AAMAS
Rustam Galimullin, Louwe B. Kuijer
2024 B conf
Varieties of Distributed Knowledge.
AiML
Rustam Galimullin, Louwe B. Kuijer
2024 J jnl
Visibility and exploitation in social networks.
Math. Struct. Comput. Sci.
Rustam Galimullin, Mina Young Pedersen
2023 A conf
(Arbitrary) Partial Communication.
AAMAS
Rustam Galimullin, Fernando R. Velázquez-Quesada
2023 J jnl
(Arbitrary) Partial Communication.
CoRR
Rustam Galimullin, Fernando R. Velázquez-Quesada
2023 — ed.
Proceedings of the 5th Symposium of the Norwegian AI Society, Bergen, Norway, June 14-15, 2023.
NAIS
Rustam Galimullin, Samia Touileb
2023 J jnl
Quantifying over information change with common knowledge.
Auton. Agents Multi Agent Syst.
Thomas Ågotnes, Rustam Galimullin
2023 B conf
Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ
TARK
Rustam Galimullin, Louwe B. Kuijer
2023 J jnl
The Expressivity of Quantified Group Announcements.
J. Log. Comput.
Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin
2022 — conf
Action Models for Coalition Logic.
DaLí
Rustam Galimullin, Thomas Ågotnes
2022 B conf
Coalition Logic for Specification and Verification of Smart Contract Upgrades.
PRIMA
Rustam Galimullin, Thomas Ågotnes
2022 C conf
Logic of Visibility in Social Networks.
WoLLIC
Rustam Galimullin, Mina Young Pedersen, Marija Slavkovik
2022 J jnl
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.
J. Log. Lang. Inf.
Thomas Ågotnes, Natasha Alechina, Rustam Galimullin
2021 J jnl
Coalition and Relativised Group Announcement Logic.
J. Log. Lang. Inf.
Rustam Galimullin
2021 — conf
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers.
LORI
Rustam Galimullin, Thomas Ågotnes
2021 B conf
No Finite Model Property for Logics of Quantified Announcements.
TARK
Hans van Ditmarsch, Tim French, Rustam Galimullin
2021 A conf
Quantified Announcements and Common Knowledge.
AAMAS
Rustam Galimullin, Thomas Ågotnes
2021 J jnl
Verification and Strategy Synthesis for Coalition Announcement Logic.
J. Log. Lang. Inf.
Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin, Tuo Wang
2019 — —
Coalition announcements.
Rustam Galimullin
2019 — conf
Group Announcement Logic with Distributed Knowledge.
LORI
Rustam Galimullin, Thomas Ågotnes, Natasha Alechina
2019 A conf
Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL.
AAMAS
Tim French, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina
2019 — conf
Public Group Announcements and Trust in Doxastic Logic.
LORI
Elise Perrotin, Rustam Galimullin, Quentin Canu, Natasha Alechina
2018 J jnl
Coalition and Group Announcement Logic.
CoRR
Rustam Galimullin, Natasha Alechina
2018 Misc conf
Model Checking for Coalition Announcement Logic.
KI
Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch
2017 B conf
Coalition and Group Announcement Logic.
TARK
Rustam Galimullin, Natasha Alechina