Results 1-2 of 2
 | 
会议论文
Van Ditmarsch, Hans; Ghosh, Sujata; Verbrugge, Rineke; Wang, Yanjing
2011
[ABSTRACT] When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their ac...
[KEYWORDS] 
会议论文
Van Ditmarsch, Hans; Fan, Jie; Van Der Hoek, Wiebe; Iliev, Petar
2014
[ABSTRACT] We present two families of exponential lower bounds on the size of modal formulae and use them to establish the following succinctness results. We ...
[KEYWORDS] 
Results 1-2 of 2
  • <<
  • 1
  • >>