REF-ARF: A system for solving problems stated as procedures

Fikes, 1968, A heuristic program for solving problems stated as nondeterministic procedures Fikes, 1968, Stating problems as procedures to a general problem solving program Bobrow, D. Natural language input for a computer problem solving system, Doctoral Dissertation, Massachusetts Institute of Technology, Cambridge, Mass. Burstall, 1965, A tree searching method for solving integer linear inequalities Green, 1969, Application of theorem proving to problem solving Ernst, 1969 Floyd, 1967, Nondeterministic algorithms, J. ACM, 14, 636, 10.1145/321420.321422 Rabin, 1959, Finite automata and their decision problems, IBM J. & D., 3, 114, 10.1147/rd.32.0114 Rosenblatt, 1958, The perceptron, a theory of statistical separability in cognitive systems Newell, 1965, The search for generality Mott-Smith, 1954 McCarthy, 1963, Programs with common sense, Stanford Artificial Intelligence Report: Project Memo AI-7 Hadley, 1964 McCarthy, 1962, Towards a mathematical theory of computation Floyd, 1966, Assigning meaning to programs, 19 King, 1969, A program verifier Golomb, 1965, Backtrack programming, J. ACM, 12, 516, 10.1145/321296.321300 Coles, 1969, Talking with a robot in English 1961 IBM, IBM System/360 Model 67 functional characteristics. IBM Systems Reference Library, Form A27-2719-0. Polya, 1962 Parker Brothers, Inc., 1967 Kochen, 1960, Experimental study of hypothesis-formation by computer