QUANTITATIVE DEDUCTION AND ITS FIXPOINT THEORY

被引：99

作者：

VANEMDEN, MH ^{[1
]}

机构：

[1] UNIV WATERLOO,DEPT COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA

来源：

JOURNAL OF LOGIC PROGRAMMING | 1986年 / 3卷 / 01期

关键词：

LOGIC PROGRAMMING - PROLOG LANGUAGE;

D O I：

10.1016/0743-1066(86)90003-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：37 / 53

页数：17

共 10 条

[1] CONTRIBUTIONS TO THE THEORY OF LOGIC PROGRAMMING
APT, KR
VANEMDEN, MH
[J]. JOURNAL OF THE ACM, 1982, 29 (03) : 841 - 862
[2] Clark K. L., 1978, Logic and data bases, P293
[3] Nilsson N.J., 1980, PRINCIPLES ARTIFICIA
[4] Nilsson N.J., 1971, PROBLEM SOLVING METH
[5] SHAPIRO EY, 1983, 8TH P INT JOINT C AR, P529
[6] VANEMDEN M, 1984, MICROPROLOG PROGRAMM, P320
[7] SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE
VANEMDEN, MH
KOWALSKI, RA
[J]. JOURNAL OF THE ACM, 1976, 23 (04) : 733 - 742
[8] WINSTON PH, 1978, ARTIFICIAL INTELLIGE
[9] FUZZY SETS
ZADEH, LA
[J]. INFORMATION AND CONTROL, 1965, 8 (03): : 338 - &
[10] F LOGIC PROGRAMMING