CONSISTENCY IN NETWORKS OF RELATIONS

被引:1119
作者
MACKWORTH, AK [1 ]
机构
[1] UNIV BRITISH COLUMBIA,DEPT COMP SCI,VANCOUVER V6T 1W5,BRITISH COLUMBI,CANADA
关键词
D O I
10.1016/0004-3702(77)90007-8
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
引用
收藏
页码:99 / 118
页数:20
相关论文
共 25 条
[1]  
AHO AV, 1974, DESIGN ANALYSIS COMP
[2]  
Bobrow D. G., 1974, Computing Surveys, V6, P153, DOI 10.1145/356631.356632
[3]   A PROGRAM FOR SOLVING WORD SUM PUZZLES [J].
BURSTALL, RM .
COMPUTER JOURNAL, 1969, 12 (01) :48-&
[4]  
Dahl O. - J., 1972, STRUCTURED PROGRAMMI
[5]   AUTOMATED SPACE PLANNING [J].
EASTMAN, CM .
ARTIFICIAL INTELLIGENCE, 1973, 4 (01) :41-64
[6]   REF-ARF - SYSTEM FOR SOLVING PROBLEMS STATED AS PROCEDURES [J].
FIKES, RE .
ARTIFICIAL INTELLIGENCE, 1970, 1 (1-2) :27-120
[7]   NONDETERMINISTIC ALGORITHMS [J].
FLOYD, RW .
JOURNAL OF THE ACM, 1967, 14 (04) :636-&
[8]   ALGORITHM-97 - SHORTEST PATH [J].
FLOYD, RW .
COMMUNICATIONS OF THE ACM, 1962, 5 (06) :345-345
[9]  
GASCHNIG JA, 1974, 12TH P ANN ALL C CIR
[10]  
HAIMS MJ, 1966, THESIS NEW YORK U