Some New Directions in Robot Problem Solving
暂无分享,去创建一个
[1] C. Cordell Green,et al. Application of Theorem Proving to Problem Solving , 1969, IJCAI.
[2] Richard Fikes,et al. REF-ARF: A System for Solving Problems Stated as Procedures , 1970, Artif. Intell..
[3] Terry Winograd,et al. Procedures As A Representation For Data In A Computer Program For Understanding Natural Language , 1971 .
[4] John H. Munson. Robot Planning, Execution, and Monitoring in an Uncertain Environment , 1971, IJCAI.
[5] Nils J. Nilsson,et al. A Causality Representation for Enriched Robot Task Domains. , 1971 .
[6] Carl Hewitt,et al. Procedural Embedding of knowledge in Planner , 1971, IJCAI.
[7] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[8] Bertram C. Bruce. A Model for Temporal References and Its Application in a Question Answering Program , 1972, Artif. Intell..