共 50 条
- [23] Non-monotonic Temporal Goals LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 374 - 386
- [28] Monotonic and Non-monotonic Embeddings of Anselm’s Proof Logica Universalis, 2017, 11 : 121 - 138
- [30] Optimizing Non-Monotonic Interconnect using Functional Simulation and Logic Restructuring ISPD'08: PROCEEDINGS OF THE 2008 ACM INTERNATIONAL SYMPOSIUM ON PHYSICAL DESIGN, 2008, : 95 - 102