共 66 条
[11]
COCHRANE JL, 1973, MULTIPLE CRITERIA DE
[12]
COHEN P, 1978, 118 U TOR DEP COMP S
[13]
Crystal D, 1969, PROSODIC SYSTEMS INT
[14]
DEBEAUGRANDE R, UNPUBLISHED
[15]
DORE J, UNPUBLISHED
[16]
STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING
[J].
ARTIFICIAL INTELLIGENCE,
1971, 2 (3-4)
:189-208
FIKES, RE
;
NILSSON, NJ
.
[17]
FILLMORE CJ, 1979, 5TH P ANN M BERK LIN, P63
[18]
GENESERETH MR, 1978, THESIS HARVARD U CAM
[19]
Goffman E, 1974, FRAME ANAL
[20]
GROSZ B, 1979, SRI188 SRI INT TECHN