ELEMENTARY LOGIC PROGRAMS

被引：0

作者：

TARAU, P ^{[1
]}

BOYER, M ^{[1
]}

机构：

[1] UNIV MONTREAL, DEPT INFORMAT & RECH OPERATIONNELLE, MONTREAL H3C 3J7, QUEBEC, CANADA

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：159 / 173

页数：15

共 50 条

[1] On elementary loops of logic programs
Gebser, Martin
Lee, Joohyung
Lierler, Yuliya
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 953 - 988
[2] On Elementary Loops and Proper Loops for Disjunctive Logic Programs
Ji, Jianmin
Wan, Hai
Xiao, Peng
PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1518 - 1524
[3] Head-elementary-set-free logic programs
Gebser, Martin
Lee, Joohyung
Lierler, Yuliya
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 149 - +
[4] ELEMENTARY LOGIC
MONK, D
AMERICAN MATHEMATICAL MONTHLY, 1966, 73 (4P1): : 432 - &
[5] ELEMENTARY LOGIC
不详
SCIENTIFIC AMERICAN, 1965, 213 (04) : 124 - &
[6] Elementary Logic
不详
EDUCATION, 1907, 27 (06): : 375 - 375
[7] TRANSFORMING NORMAL LOGIC PROGRAMS TO CONSTRAINT LOGIC PROGRAMS
KANCHANASUT, K
STUCKEY, PJ
THEORETICAL COMPUTER SCIENCE, 1992, 105 (01) : 27 - 56
[8] Hybrid probabilistic logic programs as residuated logic programs
Damásio C.V.
Pereira L.M.
Studia Logica, 2002, 72 (1) : 113 - 138
[9] Hybrid Probabilistic logic programs as residuated logic programs
Damásio, CV
Pereira, LM
LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 57 - 72
[10] EXTENSIONS OF ELEMENTARY LOGIC
LINDSTROM, P
THEORIA, 1969, 35 : 1 - 11