EQUIVALENT LOGIC PROGRAMS

被引：0

作者：

CHAN, KH ^{[1
]}

机构：

[1] NATL UNIV SINGAPORE,DEPT INFORMAT SYST,SINGAPORE 0511,SINGAPORE

来源：

JOURNAL OF LOGIC PROGRAMMING | 1990年 / 8卷 / 03期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：187 / 199

页数：13

共 50 条

[31] Steadfast logic programs
Lau, KK
Ornaghi, M
Tärnlund, SÅ
[J]. JOURNAL OF LOGIC PROGRAMMING, 1999, 38 (03): : 259 - 294
[32] Updates of logic programs
Sefranek, Ján
[J]. COMPUTING AND INFORMATICS, 2007, 26 (03) : 225 - 238
[33] LEGISLATION AS LOGIC PROGRAMS
KOWALSKI, RA
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 203 - 230
[34] Paraconsistent logic programs
Alcântara, J
Damásio, CV
Pereira, LM
[J]. LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 345 - 356
[35] Refactoring logic programs
Serebrenik, A
Demoen, B
[J]. LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 509 - 510
[36] EQUIVALENCES OF LOGIC PROGRAMS
MAHER, MJ
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 410 - 424
[37] Minimal logic programs
Cabalar, Pedro
Pearce, David
Valverde, Agustin
[J]. LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 104 - +
[38] Deducing logic programs
Wong, Ka-Shu
[J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 471 - 472
[39] Super logic programs
Brass, S
Dix, J
Przymusinski, TC
[J]. PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 529 - 540
[40] CANONICAL LOGIC PROGRAMS
JAFFAR, J
STUCKEY, PJ
[J]. JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (02): : 143 - 155