共 50 条
- [32] Monotonic and Non-monotonic Embeddings of Anselm’s Proof Logica Universalis, 2017, 11 : 121 - 138
- [36] Is non-monotonic reasoning always harder? LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 60 - 75
- [38] Choice and prohibition in non-monotonic contexts Natural Language Semantics, 2020, 28 : 141 - 174
- [40] A deductive system for non-monotonic reasoning LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 363 - 374