CONSTRAINT PROPAGATION WITH INTERVAL LABELS

[1] Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st

[2] Alefeld G., 1983, INTRO INTERVAL COMPU

[3] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J]. COMMUNICATIONS OF THE ACM, 1983, 26 (11) : 832 - 843

[4] ALLEN JF, 1985, FORMAL THEORIES COMM, P251

[5] INFERRING POSITIONS OF BODIES FROM SPECIFIED SPATIAL RELATIONSHIPS [J]. ARTIFICIAL INTELLIGENCE, 1975, 6 (02) : 157 - 174

[6] BOGGESS L, 1979, CSL T75 U ILL REPT

[7] Borning A., 1977, P 5 INT JOINT C ART, P497

[8] SYMBOLIC REASONING AMONG 3-D MODELS AND 2-D IMAGES [J]. ARTIFICIAL INTELLIGENCE, 1981, 17 (1-3) : 285 - 348

[9] DAVIS E, 1984, 292 YAL U RES REPT

[10] DAVIS E, 1981, 193 YAL U RES REPT

[1] Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st

[2] Alefeld G., 1983, INTRO INTERVAL COMPU

[3] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J]. COMMUNICATIONS OF THE ACM, 1983, 26 (11) : 832 - 843

[4] ALLEN JF, 1985, FORMAL THEORIES COMM, P251

[5] INFERRING POSITIONS OF BODIES FROM SPECIFIED SPATIAL RELATIONSHIPS [J]. ARTIFICIAL INTELLIGENCE, 1975, 6 (02) : 157 - 174

[6] BOGGESS L, 1979, CSL T75 U ILL REPT

[7] Borning A., 1977, P 5 INT JOINT C ART, P497

[8] SYMBOLIC REASONING AMONG 3-D MODELS AND 2-D IMAGES [J]. ARTIFICIAL INTELLIGENCE, 1981, 17 (1-3) : 285 - 348

[9] DAVIS E, 1984, 292 YAL U RES REPT

[10] DAVIS E, 1981, 193 YAL U RES REPT