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
期刊文章
Li, Yanjun; Kooi, Barteld; Wang, Yanjing
ARTIFICIAL INTELLIGENCE
2019
[ABSTRACT] In this paper, we introduce a probabilistic dynamic epistemic logical framework that can be applied for reasoning and verifying conformant probabil...
[KEYWORDS] Conformant probabilistic planning; Dynamic epistemic logic
Results 1-2 of 2
  • <<
  • 1
  • >>