MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS

被引:3546
作者
ALLEN, JF
机构
关键词
D O I
10.1145/182.358434
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:832 / 843
页数:12
相关论文
共 18 条
[1]  
ALLEN JF, 1982, AUG P NAT C ART INT
[2]  
ALLEN JF, 1983, UNPUB CONTRIBUTIONS, V1
[3]  
ALLEN JF, 1983, UNPUB 8TH INT JOINT
[4]  
BRUCE BC, 1972, ARTIF INTELL, V3, P1, DOI 10.1016/0004-3702(72)90040-9
[5]  
BUBENKO JA, 1980, OCT P IFIP C
[6]   TRUTH MAINTENANCE SYSTEM [J].
DOYLE, J .
ARTIFICIAL INTELLIGENCE, 1979, 12 (03) :231-272
[7]   STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING [J].
FIKES, RE ;
NILSSON, NJ .
ARTIFICIAL INTELLIGENCE, 1971, 2 (3-4) :189-208
[8]  
FODERARO JK, 1980, FRANZ LISP MANUAL
[9]   A SUFFICIENT CONDITION FOR BACKTRACK-FREE SEARCH [J].
FREUDER, EC .
JOURNAL OF THE ACM, 1982, 29 (01) :24-32
[10]  
HAYES P, 1979, EXPERT SYSTEMS