Results 1-4 of 4
 | 
[ABSTRACT] In everyday life, people get lost even when they have the map: they simply may not know where they are in the map. However, when moving forward the...
[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] 
会议论文
Wang, Yanjing; Fan, Jie
2014
[ABSTRACT] Classic epistemic logic focuses on propositional knowledge expressed by \knowing that' operators. However, there are various types of knowledg...
[KEYWORDS] 
期刊文章
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
Results 1-4 of 4
  • <<
  • 1
  • >>