共 50 条
- [35] Negation as cancellation, and connexive logic TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1999, 18 (02): : 141 - 148
- [38] LOGIC PROGRAMMING AND NEGATION - A SURVEY JOURNAL OF LOGIC PROGRAMMING, 1994, 20 (1-3): : 9 - 71
- [39] Coinductive Logic Programming with Negation LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2010, 6037 : 97 - 112