Results 1-3 of 3
 | 
会议论文
Li, Yanjun
LOGIC, RATIONALITY, AND INTERACTION (LORI 2015)
2015
[ABSTRACT] Epistemic propositional dynamic logic (EPDL) is a combination of epistemic logic and propositional dynamic logic. The properties, perfect recall an...
[KEYWORDS] 
[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] 
期刊文章
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-3 of 3
  • <<
  • 1
  • >>