- E-mailrustam.galimullin@uib.no
- Visitor AddressFosswinckels gate 6Lauritz Meltzers hus5007 Bergen
- Postal AddressPostboks 78025020 Bergen
Check out my website for an up-to-date list of publications.
Autumn 2023, Blockchain technology and formal methods (INFO384 23H)
Autumn 2023, Introduction to Artificial Intelligence (AIKI100 23H)
Spring 2023, Artificial Agents (AIKI110 23V)
Autumn 2022, Blockchain technology and formal methods (INFO384 22H)
Autumn 2021, Knowledge Representation and Reasoning (INFO282 21H)
Academic article
- (2023). The Expressivity of Quantified Group Announcements. Journal of Logic and Computation. 1122-1151.
- (2023). Quantifying over information change with common knowledge. Autonomous Agents and Multi-Agent Systems. 40 pages.
- (2022). Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. Journal of Logic, Language and Information. 141-166.
- (2021). Verification and Strategy Synthesis for Coalition Announcement Logic. Journal of Logic, Language and Information. 671-700.
- (2021). Coalition and Relativised Group Announcement Logic. Journal of Logic, Language and Information. 451-489.
Academic anthology/Conference proceedings
- (2023). Proceedings of the 5th Symposium of the Norwegian AI Society. ceur-ws.org, Redaktion Sun SITE, RWTH Aachen.
Academic chapter/article/Conference paper
- (2023). Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard. 12 pages.
- (2023). Action Models for Coalition Logic. 17 pages.
- (2023). (Arbitrary) Partial Communication. 9 pages.
- (2022). Logic of Visibility in Social Networks. 17 pages.
- (2022). Coalition Logic for Specification and Verification of Smart Contract Upgrades. 10 pages.
- (2021). Quantified Announcements and Common Knowledge. 9 pages.
- (2021). No Finite Model Property for Logics of Quantified Announcements. 10 pages.
- (2021). Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. 14 pages.
More information in national current research information system (CRIStin)