Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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