Results 1-1 of 1
 | 
期刊文章
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-1 of 1
  • <<
  • 1
  • >>