Rustam Galimullin
Stilling
Førsteamanuensis
Tilhørighet
Forskergrupper
Undervisning
Vår 2025, Machine Learning INFO284 V25
Høst 2024, Blockchain technology and formal methods INFO384 H24
Høst 2024, Blockchain technology INFO384B H24
Høst 2023, Blockchain technology and formal methods INFO384 H23
Høst 2023, Innføring i kunstig intelligens AIKI100 H23
Vår 2023, Kunstige agentar AIKI110 V23
Høst 2022, Blockchain technology and formal methods INFO384 H22
Høst 2021, Knowledge Representation and Reasoning INFO282 H21
Publikasjoner
2024
- Galimullin, Rustam; Velázquez-Quesada, Fernando R. (2024). Topic-Based Communication Between Agents. (ekstern lenke)
- Galimullin, Rustam; Kuijer, Louwe B. (2024). Synthesizing Social Laws with ATL Conditions. (ekstern lenke)
- Dolgorukov, Vitaly; Galimullin, Rustam; Gladyshev, Maksim (2024). Dynamic Epistemic Logic of Resource Bounded Information Mining Agents. (ekstern lenke)
- Galimullin, Rustam; Kuijer, Louwe B. (2024). Varieties of Distributed Knowledge. (ekstern lenke)
2023
- Galimullin, Rustam; Pedersen, Mina Young (2023). Visibility and exploitation in social networks. (ekstern lenke)
- Alechina, Natasha; van Ditmarsch, Hans; French, Tim et al. (2023). The Expressivity of Quantified Group Announcements. (ekstern lenke)
- Galimullin, Rustam; Touileb, Samia (2023). Proceedings of the 5th Symposium of the Norwegian AI Society (NAIS 2023). (ekstern lenke)
- Galimullin, Rustam; Velázquez-Quesada, Fernando R. (2023). (Arbitrary) Partial Communication. (ekstern lenke)
- Ågotnes, Thomas; Galimullin, Rustam (2023). Quantifying over information change with common knowledge. (ekstern lenke)
- Galimullin, Rustam; Ågotnes, Thomas (2023). Action Models for Coalition Logic. (ekstern lenke)
- Galimullin, Rustam; Kuijer, Louwe B. (2023). Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard. (ekstern lenke)
2022
- Ågotnes, Thomas; Alechina, Natasha; Galimullin, Rustam (2022). Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. (ekstern lenke)
- Galimullin, Rustam; Ågotnes, Thomas (2022). Coalition Logic for Specification and Verification of Smart Contract Upgrades. (ekstern lenke)
- Galimullin, Rustam; Pedersen, Mina Young; Slavkovik, Marija (2022). Logic of Visibility in Social Networks. (ekstern lenke)
2021
- Galimullin, Rustam; Ågotnes, Thomas (2021). Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. (ekstern lenke)
- Alechina, Natasha; van Ditmarsch, Hans; Galimullin, Rustam et al. (2021). Verification and Strategy Synthesis for Coalition Announcement Logic. (ekstern lenke)
- Galimullin, Rustam; Ågotnes, Thomas (2021). Quantified Announcements and Common Knowledge. (ekstern lenke)
- Galimullin, Rustam (2021). Coalition and Relativised Group Announcement Logic. (ekstern lenke)
- van Ditmarsch, Hans; French, Tim; Galimullin, Rustam (2021). No Finite Model Property for Logics of Quantified Announcements. (ekstern lenke)
Se en full oversikt over publikasjoner i Cristin
Komplett liste over publikasjoner er på min nettside.