共 50 条
- [41] COMPLETENESS FOR PROPOSITIONAL LOGIC PROGRAMS WITH NEGATION LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 600 - 609
- [42] Introduction:: The concept of negation (Verneinung) in philosophy REVUE DE METAPHYSIQUE ET DE MORALE, 2001, (02): : 3 - 6
- [43] Deontic Equilibrium Logic with eXplicit Negation LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 498 - 514
- [44] RECAPTURE, TRANSPARENCY, NEGATION AND A LOGIC FOR THE CATUSKOTI COMPARATIVE PHILOSOPHY-AN INTERNATIONAL JOURNAL OF CONSTRUCTIVE ENGAGEMENT OF DISTINCT APPROACHES TOWARD WORLD PHILOSOPHY, 2019, 10 (01): : 67 - 92
- [46] Tableaux for logic programming with strong negation AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 31 - 42
- [48] A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING JOURNAL OF LOGIC PROGRAMMING, 1990, 8 (03): : 201 - 228