CONSTRAINT SATISFACTION FROM A DEDUCTIVE VIEWPOINT

被引：29

作者：

BIBEL, W ^{[1
]}

机构：

[1] CANADIAN INST ADV RES,TORONTO,ONTARIO,CANADA

来源：

关键词：

D O I：

10.1016/0004-3702(88)90023-9

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：401 / 413

页数：13

共 16 条

[1] [Anonymous], 1982, PRINCIPLES DATABASE
[2] BAYERL S, 1987, AIMSA 86 ARTIFICIAL, P29
[3] MATINGS IN MATRICES
BIBEL, W
[J]. COMMUNICATIONS OF THE ACM, 1983, 26 (11) : 844 - 852
[4] BIBEL W, 1988, FUNDAMENTALS ARTIFIC, V2
[5] Bibel W., 1987, AUTOMATED THEOREM PR, V2nd
[6] BIBEL W, 1987, 4TH P INT C ART INT
[7] Bibel W., 1980, RUNDBRIEF FACHGRUPPE, V22, P15
[8] BRUYNOOGHE M, 1984, IMPLEMENTATIONS PROL, P194
[9] Kasif S., 1986, Proceedings AAAI-86: Fifth National Conference on Artificial Intelligence, P349
[10] CONSISTENCY IN NETWORKS OF RELATIONS
MACKWORTH, AK
[J]. ARTIFICIAL INTELLIGENCE, 1977, 8 (01) : 99 - 118