共 50 条
- [21] Redundancy in logic III: Non-monotonic reasoning [J]. ARTIFICIAL INTELLIGENCE, 2008, 172 (11) : 1317 - 1359
- [22] Non-monotonic Reasoning via Dynamic Consequence [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2022, 2022, 13468 : 395 - 410
- [25] Component selection using non-monotonic reasoning [J]. ARTIFICIAL INTELLIGENCE IN ENGINEERING, 1996, 10 (03): : 235 - 241
- [26] Prolegomena to logic programming for non-monotonic reasoning [J]. NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, 1997, 1216 : 1 - 36
- [30] Automated non-monotonic reasoning in System P [J]. Annals of Mathematics and Artificial Intelligence, 2021, 89 : 471 - 509