论文信息 - STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving - 字舞流文

STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving

Richard Fikes | Nils J. Nilsson | R. Fikes | N. Nilsson

[1] W. W. Bledsoe,et al. Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub. , 1971, SGAR.

[2] George W. Ernst,et al. GPS : a case study in generality and problem solving , 1971 .

[3] John H. Munson. Robot Planning, Execution, and Monitoring in an Uncertain Environment , 1971, IJCAI.

[4] Nils J. Nilsson,et al. Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[5] Richard Fikes,et al. Monitored Execution of Robot Plans Producted by STRIPS , 1971, IFIP Congress.

[6] Zohar Manna,et al. Toward automatic program synthesis , 1971, Symposium on Semantics of Algorithmic Languages.

[7] Zohar Manna,et al. Towards automatic program synthesis , 1971, Symposium on Semantics of Algorithmic Languages.

[8] David C. Luckham,et al. Extracting Information from Resolution Proof Trees , 1971, Artif. Intell..

[9] C. Hewitt. Planner: a language for manipulating models and proving theorems in a robot" ijcai-69 , 1970 .

[10] C. Cordell Green,et al. Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[11] Richard C. T. Lee,et al. PROW: A Step Toward Automatic Program Writing , 1969, IJCAI.

[12] A. Maslow. Motivation and Personality , 1954 .