共 50 条
- [31] Monotonic and Non-monotonic Embeddings of Anselm’s Proof Logica Universalis, 2017, 11 : 121 - 138
- [34] NON-MONOTONIC REASONING FOR REQUIREMENTS ENGINEERING State Diagrams Driven by Plausible Logic ENASE 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2010, : 68 - 77
- [36] 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