A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees

GELERNTER, H. Realization of a geometry theorem-proving machine. In Proc. ht. Conf. Inform. Process., UNESCO, Paris, 1959, pp. 273-281; and in Computers and Thought, F. A. Feigenbaum and J. Feldman (Eds.), McGraw-Hill, New York, 1963.

MICHIE, D., AND CIIAMBERS, R.A. Boxes: an experiment in adaptive control. In Machine Intelligence 2, E. Dale and D. Michie (Eds.), Oliver and Boyd, London, 1968.

NEWELL, A., SItAW, J. C., AND SIMON, H.A. Report on a general problem solving program for a computer information processing system. Proc. Int. Conf. Inform. Process., UNESCO, Paris, pp. 256-264.

NEWELL, A., SHAW, J. C., AND SIMON, H.A. A variety of intelligent learning in a general problem solver. In Self-Organizing Systems, M. Yovitts and S. Cameron (Eds.), Pergamon Press, New York, 1960.

NEWELL, A., AND SIMON, H. A. GPS, a program that simulates human thought. In Computers and Thought, E. A. Feigenbaum and J. Feldman (Eds.), McGraw-Hill, New York, 1963; also Lernende Automaten, Proc. Conf. Learning Automata, Technischc t-ochschule, Karlsruhe, W. Germany.

SAMUEL, A.L. Some studies in machine learning using the game of checkers. IBM J. Res. Develop. 3 (July 1959), 211-229; In Computers and Thought, E. A. Feigenbaum and J. Feldman (Eds.), McGraw-Hill, New York, 1963.

SAMUEL, A.L. Some studies in machine learning using the game of checkers, IL--Recent progress. Memo No. 52, Stanford A. I. Project, Stanford, Calif.

SLAOLE, J.R. A heuristic program that solves symbolic integration problems in Freshman calculus. In Computers and Thought, E. A. Feigenbaum and J. Feldman (Eds.), McGraw-Hill, New York, 1963.

SLAGLE, J. R., AND DIXON, J.K. Experiments with some programs that search game trees. Lawrence Radiation Lab., Preprint UCRL-70552, Lawrence, Calif.

SLAGLE, J. R., AND BURSKY, P. Experiments with a multi-purpose, theorem-proving heuristic program. J. ACM 15, 1 (Jan. 1968), 85-109.