论文信息 - REF-ARF: A System for Solving Problems Stated as Procedures - 字舞流文

REF-ARF: A System for Solving Problems Stated as Procedures

Richard Fikes | R. Fikes

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

[2] James C. King,et al. A Program Verifier , 1971, IFIP Congress.

[3] Richard E. Fikes. Stating Problems as Procedures to a General Problem Solving Program , 1970 .

[4] L. Stephen Coles,et al. Talking with a Robot in English , 1969, IJCAI.

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

[6] Robert W. Floyd,et al. Nondeterministic Algorithms , 1967, JACM.

[7] Solomon W. Golomb,et al. Backtrack Programming , 1965, JACM.

[8] E. M. L. Beale,et al. Nonlinear and Dynamic Programming , 1965 .

[9] Daniel G. Bobrow,et al. Natural Language Input for a Computer Problem Solving System , 1964 .

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

[11] Dana S. Scott,et al. Finite Automata and Their Decision Problems , 1959, IBM J. Res. Dev..

[12] Geoffrey Mott-Smith. Mathematical Puzzles, for Beginners and Enthusiasts , 1954 .