共 50 条
- [22] Efficient Reasoning in Multiagent Epistemic Logics 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 498 - +
- [23] Taming the Complexity of Temporal Epistemic Reasoning FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2009, 5749 : 198 - 213