共 50 条
- [31] ON THE COMPLEXITY OF EPISTEMIC REASONING FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1989, : 243 - 252
- [32] Reasoning about GSTE assertion graphs CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2003, 2860 : 170 - 184
- [34] Epistemic Responsibility in the Media Language: Opinion vs Assertion ZEITSCHRIFT FUR SLAWISTIK, 2014, 59 (01): : 83 - 102
- [35] Epistemic Reasoning in Logic Programs 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 647 - 652