AN EXPERIMENTAL LOGIC BASED ON THE FUNDAMENTAL DEDUCTION PRINCIPLE

被引：5

作者：

BROWN, FM ^{[1
]}

机构：

[1] UNIV KANSAS,DEPT COMP SCI,LAWRENCE,KS 66045

来源：

ARTIFICIAL INTELLIGENCE | 1986年 / 30卷 / 02期

关键词：

D O I：

10.1016/0004-3702(86)90011-1

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：117 / 263

页数：147

相关论文

共 64 条

[21]

BROWN FM, 1978, ARTIFICIAL INTELLIGE, V10

[22]

BROWN FM, 1976, 2ND P AISB C ED

[23]

BROWN FM, 1980, REPRESENTATION PROCE

[24]

BURSTALL R, 1969, COMPUTER J, V12

[25]

CHESTER D, 1980, 1ST P NAT C ART INT

[26]

Clark KL, 1978, LOGIC DATA BASES

[27]

COLMERAUER A, 1981, 7TH P INT JOINT C AR

[28]

Frege G., 1967, FREGE GODEL

[29]

GOGUEN JA, 1985, FUNCTIONAL LOGIC PRO

[30]

GREEN CC, 1969, 1ST P INT JOINT C AR

← 1 2 3 4 5 6 7 →