MACHINES, PROGRAMS AND LOGIC

被引：0

作者：

SAOUDI, A

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：342 / 342

页数：1

共 50 条

[31] CANONICAL LOGIC PROGRAMS
JAFFAR, J
STUCKEY, PJ
JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (02): : 143 - 155
[32] Verification of logic programs
Pedreschi, D
Ruggieri, S
JOURNAL OF LOGIC PROGRAMMING, 1999, 39 (1-3): : 125 - 176
[33] On computability by logic programs
Voronkov, A
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 15 (3-4) : 437 - 456
[34] EXPANDING LOGIC PROGRAMS
WITTEVEEN, C
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 633 : 373 - 390
[35] On computing logic programs
Max-Planck-Inst fuer Informatik, Saarbruecken, Germany
J Autom Reasoning, 3 (259-289):
[36] On computing logic programs
Dimopoulos, Y
JOURNAL OF AUTOMATED REASONING, 1996, 17 (03) : 259 - 289
[37] Labeled logic programs
Barker, S
LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 448 - 449
[38] LOGIC, PROBLEMS AND PROGRAMS
GARCIANORIEGA, B
ARBOR-CIENCIA PENSAMIENTO Y CULTURA, 1987, 126 (496) : 105 - 124
[39] MEMOING FOR LOGIC PROGRAMS
WARREN, DS
COMMUNICATIONS OF THE ACM, 1992, 35 (03) : 93 - 111
[40] Updating logic programs
Zhang, Y
Foo, NN
ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 403 - 407