共 50 条
- [41] COMPLEXITY OF NON-MONOTONIC LOGICS BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2010, (102): : 53 - 82
- [44] Non-monotonic Temporal Goals LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 374 - 386
- [49] Monotonic and Non-monotonic Embeddings of Anselm’s Proof Logica Universalis, 2017, 11 : 121 - 138