共 50 条
- [6] A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes 2009 FIFTH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRID (SKG 2009), 2009, : 18 - 25
- [7] Reasoning in Epistemic Contexts MODELING AND USING CONTEXT (CONTEXT 2017), 2017, 10257 : 99 - 112
- [8] Symmetries and Epistemic Reasoning COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, 2013, 8143 : 190 - 205
- [9] ON THE COMPLEXITY OF EPISTEMIC REASONING FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1989, : 243 - 252
- [10] Epistemic Reasoning in Logic Programs 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 647 - 652