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 条

[31] ON THE SEMANTICS OF LOGIC PROGRAMS
GABBRIELLI, M
LEVI, G
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 1 - 19
[32] MACHINES, PROGRAMS AND LOGIC
SAOUDI, A
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 342 - 342
[33] Conceptual logic programs
Heymans, Stijn
Van Nieuwenborgh, Davy
Vermeir, Dirk
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 47 (1-2) : 103 - 137
[34] LOGIC PROGRAMS AND ALTERNATION
STEPANEK, P
STEPANKOVA, O
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1085 - 1085
[35] Conceptual logic programs
Stijn Heymans
Davy Van Nieuwenborgh
Dirk Vermeir
Annals of Mathematics and Artificial Intelligence, 2006, 47 : 103 - 137
[36] Steadfast logic programs
Lau, KK
Ornaghi, M
Tärnlund, SÅ
JOURNAL OF LOGIC PROGRAMMING, 1999, 38 (03): : 259 - 294
[37] Transformations of logic programs
Nigiyan, SA
Khachoyan, LO
PROGRAMMING AND COMPUTER SOFTWARE, 1997, 23 (06) : 302 - 309
[38] Paraconsistent logic programs
Alcântara, J
Damásio, CV
Pereira, LM
LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 345 - 356
[39] LEGISLATION AS LOGIC PROGRAMS
KOWALSKI, RA
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 203 - 230
[40] Updates of logic programs
Sefranek, Ján
COMPUTING AND INFORMATICS, 2007, 26 (03) : 225 - 238