论文信息 - TOWARD A TENSE-LOGIC-BASED MITIGATION OF THE FRAME PROBLEM - 字舞流文

TOWARD A TENSE-LOGIC-BASED MITIGATION OF THE FRAME PROBLEM

[1] John McCarthy,et al. Programs with common sense , 1960 .

[2] Richard Montague. Pragmatics and intensional logic , 1970 .

[3] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[4] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[5] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..

[6] Drew McDermott,et al. Non-Monotonic Logic I , 1987, Artif. Intell..

[7] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[8] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..

[9] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[10] D. McDermott. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[11] David E. Wilkins,et al. Domain-Independent Planning: Representation and Plan Generation , 1984, Artif. Intell..

[12] Hisao Tamaki,et al. OLD Resolution with Tabulation , 1986, ICLP.