共 50 条
- [4] Is non-monotonic reasoning always harder? [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 60 - 75
- [5] A deductive system for non-monotonic reasoning [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 363 - 374
- [6] Non-monotonic reasoning on Beowulf platforms [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2003, 2562 : 37 - 57
- [7] Internet Routing and Non-monotonic Reasoning [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2019, 2019, 11481 : 51 - 57
- [8] Hybrid Reasoning with Non-monotonic Rules [J]. REASONING WEB: SEMANTIC TECHNOLOGIES FOR SOFTWARE ENGINEERING, 2010, 6325 : 28 - 61
- [10] Non-monotonic Reasoning via Dynamic Consequence [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2022, 2022, 13468 : 395 - 410