共 50 条
- [21] Coinductive Logic Programming with Negation LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2010, 6037 : 97 - 112
- [26] NEGATION AND LOGIC OF DEONTIC ASSERTIONS INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 1967, 10 (1-2): : 89 - 95
- [30] Annotated logic and negation as failure ADVANCES IN LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2002, 85 : 29 - 37