A TEMPORAL LOGIC FOR REASONING ABOUT PROCESSES AND PLANS

[1] Allen J. F., 1981, TR86 U ROCH DEP COMP

[2] A COMMON REPRESENTATION FOR PROBLEM-SOLVING AND LANGUAGE-COMPREHENSION INFORMATION [J]. ARTIFICIAL INTELLIGENCE, 1981, 16 (03) : 225 - 255

[3] CHARNIAK E, 1976, 28 FOND DALL MOLL WO

[4] Davidson D., 1967, LOGICAL FORM ACTION

[5] DAVIS E, 1981, 193 YAL U COMP SCI D

[6] DOYLE J, 1980, TR581 MIT AI LAB

[7] DOYLE J, 1979, MIT521 AI LAB MEM

[8] Ernst G, 1969, GPS CASE STUDY GEN P

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

[10] Goodman N., 1991, J PHILOS, V44, P113

[1] Allen J. F., 1981, TR86 U ROCH DEP COMP

[2] A COMMON REPRESENTATION FOR PROBLEM-SOLVING AND LANGUAGE-COMPREHENSION INFORMATION [J]. ARTIFICIAL INTELLIGENCE, 1981, 16 (03) : 225 - 255

[3] CHARNIAK E, 1976, 28 FOND DALL MOLL WO

[4] Davidson D., 1967, LOGICAL FORM ACTION

[5] DAVIS E, 1981, 193 YAL U COMP SCI D

[6] DOYLE J, 1980, TR581 MIT AI LAB

[7] DOYLE J, 1979, MIT521 AI LAB MEM

[8] Ernst G, 1969, GPS CASE STUDY GEN P

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

[10] Goodman N., 1991, J PHILOS, V44, P113