Results 1-1 of 1
[ABSTRACT] In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements. Based...
[KEYWORDS] Agent types; Public announcement logic; Questioning strategy; Knight and Knaves; The hardest logic puzzle ever; QUESTIONS
Results 1-1 of 1
- <<
- 1
- >>