MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS

[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]. ARTIFICIAL INTELLIGENCE, 1979, 12 (03) : 231 - 272

[7] STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING [J]. ARTIFICIAL INTELLIGENCE, 1971, 2 (3-4) : 189 - 208

[8] FODERARO JK, 1980, FRANZ LISP MANUAL

[9] A SUFFICIENT CONDITION FOR BACKTRACK-FREE SEARCH [J]. JOURNAL OF THE ACM, 1982, 29 (01) : 24 - 32

[10] HAYES P, 1979, EXPERT SYSTEMS

[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]. ARTIFICIAL INTELLIGENCE, 1979, 12 (03) : 231 - 272

[7] STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING [J]. ARTIFICIAL INTELLIGENCE, 1971, 2 (3-4) : 189 - 208

[8] FODERARO JK, 1980, FRANZ LISP MANUAL

[9] A SUFFICIENT CONDITION FOR BACKTRACK-FREE SEARCH [J]. JOURNAL OF THE ACM, 1982, 29 (01) : 24 - 32

[10] HAYES P, 1979, EXPERT SYSTEMS