共 50 条
- [33] Reasoning with stratified default theories LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 273 - 286
- [35] Local Temporal Reasoning PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
- [37] On Hierarchical Reasoning in Combinations of Theories AUTOMATED REASONING, 2010, 6173 : 30 - 45