共 50 条
- [32] Monotonic and Non-monotonic Embeddings of Anselm’s Proof Logica Universalis, 2017, 11 : 121 - 138
- [33] On the intertranslatability of non‐monotonic logics Annals of Mathematics and Artificial Intelligence, 1999, 27 : 79 - 128
- [37] Is non-monotonic reasoning always harder? LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 60 - 75
- [39] Choice and prohibition in non-monotonic contexts Natural Language Semantics, 2020, 28 : 141 - 174