2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.MA2025
A Graph-Theoretical Perspective on Law Design for Multiagent Systems
Qi Shi, Pavel Naumov
A law in a multiagent system is a set of constraints imposed on agents' behaviours to avoid undesirable outcomes. The paper considers two types of laws: useful laws that, if follow…
cs.AI2024
Uncommon Belief in Rationality
Qi Shi, Pavel Naumov
Common knowledge/belief in rationality is the traditional standard assumption in analysing interaction among agents. This paper proposes a graph-based language for capturing signif…
cs.AI2022★ 2 cited
Truth Set Algebra: A New Way to Prove Undefinability
Sophia Knight, Pavel Naumov, Qi Shi +1
The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples. Some of the obtai…