Home
University of Bergen
Rustam Galimullin's picture

Rustam Galimullin

Department of Information Science and Media Studies
Personal webpage
dblp
googlescholar
  • E-mailrustam.galimullin@uib.no
  • Visitor Address
    Fosswinckels gate 6
    Lauritz Meltzers hus
    5007 Bergen
  • Postal Address
    Postboks 7802
    5020 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
  • Show author(s) (2023). The Expressivity of Quantified Group Announcements. Journal of Logic and Computation. 1122-1151.
  • Show author(s) (2023). Quantifying over information change with common knowledge. Autonomous Agents and Multi-Agent Systems. 40 pages.
  • Show author(s) (2022). Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. Journal of Logic, Language and Information. 141-166.
  • Show author(s) (2021). Verification and Strategy Synthesis for Coalition Announcement Logic. Journal of Logic, Language and Information. 671-700.
  • Show author(s) (2021). Coalition and Relativised Group Announcement Logic. Journal of Logic, Language and Information. 451-489.
Academic anthology/Conference proceedings
  • Show author(s) (2023). Proceedings of the 5th Symposium of the Norwegian AI Society. ceur-ws.org, Redaktion Sun SITE, RWTH Aachen.
Academic chapter/article/Conference paper
  • Show author(s) (2023). Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard. 12 pages.
  • Show author(s) (2023). Action Models for Coalition Logic. 17 pages.
  • Show author(s) (2023). (Arbitrary) Partial Communication. 9 pages.
  • Show author(s) (2022). Logic of Visibility in Social Networks. 17 pages.
  • Show author(s) (2022). Coalition Logic for Specification and Verification of Smart Contract Upgrades. 10 pages.
  • Show author(s) (2021). Quantified Announcements and Common Knowledge. 9 pages.
  • Show author(s) (2021). No Finite Model Property for Logics of Quantified Announcements. 10 pages.
  • Show author(s) (2021). Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. 14 pages.

More information in national current research information system (CRIStin)

Fields of competence 
Artificial Intelligence
Blockchain
Computational logic
Knowledge Representation and Reasoning
Modallogikk
Multiagent systems