NEGATION-AS-FAILURE RULE FOR GENERAL LOGIC PROGRAMS WITH EQUALITY.

被引：0

作者：

Le, Van Tu ^{[1
]}

机构：

[1] Canberra Coll of Advanced Education,, Sch of Information Sciences,, Belconnen, Aust, Canberra Coll of Advanced Education, Sch of Information Sciences, Belconnen, Aust

来源：

Journal of Logic Programming | 1985年 / 2卷 / 04期

关键词：

LOGIC PROGRAMS - NEGATION-AS-FAILURE RULE;

D O I：

10.1016/S0743-1066(85)80004-2

中图分类号：

学科分类号：

摘要：

引用

下载

页码：285 / 294

共 50 条

[31] An infinite-valued semantics for logic programs with negation
Rondogiannis, P
Wadge, WW
LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 456 - 467
[32] CONTRIBUTIONS TO THE STABLE MODEL SEMANTICS OF LOGIC PROGRAMS WITH NEGATION
COSTANTINI, S
THEORETICAL COMPUTER SCIENCE, 1995, 149 (02) : 231 - 255
[33] INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES
BARBUTI, R
MANCARELLA, P
PEDRESCHI, D
TURINI, F
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 250 : 96 - 110
[34] REASONING WITH NEGATIVE INFORMATION .2. HARD NEGATION, STRONG NEGATION AND LOGIC PROGRAMS
PEARCE, D
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 619 : 63 - 79
[35] NONMONOTONIC REASONING AND MODAL LOGIC, FROM NEGATION AS FAILURE TO DEFAULT LOGIC
BALBIANI, P
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 521 : 223 - 231
[36] SOME GENERAL REMARKS ON NEGATION AND PARADOX IN CHINESE LOGIC
BUTZENBERGER, K
JOURNAL OF CHINESE PHILOSOPHY, 1993, 20 (03) : 313 - 347
[37] About Epistemic Negation and World Views in Epistemic Logic Programs
Costantini, Stefania
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2019, 19 (5-6) : 790 - 807
[38] Hybrid Probabilistic Logic Programs with non-monotonic negation
Saad, E
Pontelli, E
LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 204 - 220
[39] WF(3) - A SEMANTICS FOR NEGATION IN NORMAL DISJUNCTIVE LOGIC PROGRAMS
BARAL, C
LOBO, J
MINKER, J
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 459 - 468
[40] A PROCEDURAL SEMANTICS FOR WELL-FOUNDED NEGATION IN LOGIC PROGRAMS
ROSS, KA
JOURNAL OF LOGIC PROGRAMMING, 1992, 13 (01): : 1 - 22

← 1 2 3 4 5 →