共 50 条
- [1] A General Framework for Modal Correspondence in Dynamic Epistemic Logic [J]. LOGIC, RATIONALITY, AND INTERACTION (LORI 2015), 2015, 9394 : 282 - 294
- [2] Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic [J]. Journal of Logic, Language and Information, 2018, 27 : 255 - 294
- [4] Epistemic logic and planning [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2004, 3214 : 36 - 45
- [6] Complexity Results in Epistemic Planning [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2791 - 2797
- [7] An Epistemic Logic for Planning with Trials [J]. LOGIC, RATIONALITY, AND INTERACTION, PROCEEDINGS, 2009, 5834 : 238 - +
- [8] Dynamic epistemic logic in update logic [J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (06) : 1913 - 1960
- [9] Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (215): : 246 - 263
- [10] Probabilistic Dynamic Epistemic Logic [J]. Journal of Logic, Language and Information, 2003, 12 (4) : 381 - 408