( en | de | ru )

 

Disambiguierung von "Galimullin, Rustam"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Coalition and Group Announcement Logic.

, und . CoRR, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Rustam Tagiew

Rustam Singgih

Rustam Kialbekov

Rustam Berezov

Rustam Mollajew

 

Weitere Publikationen von Autoren mit dem selben Namen

The Expressivity of Quantified Group Announcements., , , und . J. Log. Comput., 33 (6): 1122-1151 (August 2023)Synthesizing Social Laws with ATL Conditions., und . AAMAS, Seite 2270-2272. ACM, (2024)Coalition and Group Announcement Logic., und . CoRR, (2018)Satisfiability of Quantified Boolean Announcements., , und . CoRR, (2022)Quantified Announcements and Common Knowledge., und . AAMAS, Seite 528-536. ACM, (2021)Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power., , und . J. Log. Lang. Inf., 31 (2): 141-166 (2022)Logic of Visibility in Social Networks., , und . WoLLIC, Volume 13468 von Lecture Notes in Computer Science, Seite 190-206. Springer, (2022)Coalition announcements.. University of Nottingham, UK, (2019)British Library, EThOS.Coalition and Group Announcement Logic., und . TARK, Volume 251 von EPTCS, Seite 207-220. (2017)Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL., , , und . AAMAS, Seite 953-961. International Foundation for Autonomous Agents and Multiagent Systems, (2019)