Results 1-2 of 2
 | 
期刊文章
Fulltext
van Ditmarsch, Hans; Ghosh, Sujata; Verbrugge, Rineke; Wang, Yanjing
人工智能
2014
[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] Protocols; Dynamic epistemic logic; Guarded automata; KNOWLEDGE; COMMUNICATION; LOGICS
会议论文
Fan, Jie; van Ditmarsch, Hans
2015
[ABSTRACT] A formula is contingent, if it is possibly true and possibly false; a formula is non-contingent, if it is not contingent, i.e., if it is necessaril...
[KEYWORDS] 
Results 1-2 of 2
  • <<
  • 1
  • >>