References
- E. Charniak , Toward a model of children's story comprehension , MIT Artificial Intelligence Laboratory , 1972 , vol. A1-TR266
- D.T. Chen , Analogical reasoning, learning and problem solving New York Unpublished Ph.D. Thesis 1976 , State Univ. of New York at Buffalo ,
- P.T. Deer , A plane Euclidean geometry machine University of Western Ontario 1974 , Report No. 19, Dept. of Computer Science ,
- T.G. Evans , A heuristic program to solve geometric analogy problems In Semantic Information Processing , Cambridge 1968 , ed. Minsky ,
- N.V. Findler , On the game "Dama" which can be played on a digital computer , Comp. J , 1960 , vol. 3 , pp. 40 – 44
- N.V. Findler , Some new approaches to machine learning , IEEE Trans. Syst. Sci. Cybern , 1969 , vol. SSC5 , pp. 173 – 182
- N.V. Findler , Studies in machine cognition using the game of Poker , Comm ACM , 1977
- N.V. Findler and J.L. Pfaltz and H.J. Bernstein , Four high-level extensions of FORTRAN IV: SLIP, AMPPL-I, TREETRAN and SYMBO-LANG New York Spartan Boks 1972
- B.V. Funt , A procedural approach to constructions in Euclidean geometry Columbia M.S. Thesis, Dept. of Computer Science, University of British Columbia . 1973
- H. Gelernter , Realization of a geometric theorem proving machine , Proc. Int. Conf. Inform. Proc , 1959 , pp. 273 – 282
- H. Gelernter and J.R. Hansen and D.W. Loveland , Empirical explorations of the geometry theorem proving machine , Proc. WJCC , 1960 , vol. 17 , pp. 143 – 147
- P.C. Gilmore , An examination of the Geometry Theorem Machine , Artif. Intell , 1970 , vol. 1 , pp. 171 – 187
- I. Goldstein , Elementary geometry theorem proving , MIT Artificial Intelligence Laboratory , 1973 , vol. AI-TR280
- J. Hadamard , The psychology of invention in the mathematical field Princeton N.J.: Princeton University Press 1945 ,
- E.B. Hunt and J. Marin and P.J. Stone , Experiments in induction New York Academic Press 1966
- E.B. Hunt and C.I. Hovland , Programming a model of human concept formation , Proc. WJCC , 1961 , vol. 19 , pp. 145 – 155
- R.E. Kling , A paradigm for reasoning by analogy , Artif. Intell , 1971 , vol. 2 , pp. 147 – 178
- M. Kochen , An experimental program for the selection of disjunctive hypotheses , Proc. WJCC , 1961 , vol. 19 , pp. 571 – 578
- K.Z. Lorenz , Analogy as a source of knowledge In Les Prix Nobel en 1973 , New York 1974
- G.A. Miller , The magical number seven, plus or minus two: Some limits on our capacity for processing information , Psych. Rev , 1956 , vol. 63 , pp. 81 – 97
- M. Minsky , Steps toward Artificial Intelligence , Proc. IRE , 1961 , vol. 49 , pp. 8 – 30
- A.J. Nevins , Plane geometry theorem proving using forward chaining , Artif. Intell , 1975 , vol. 6 , pp. 1 – 23
- M. Newborn , Computer chess New York Academic Press 1975
- G. Polya , How to solve it Princeton Princeton University Press 1954
- G. Polya , Mathematics and plausible reasoning. Vol. I: Induction and analogy in mathematics. Vol. II: Patters of plausible inference. Princeton Princeton University Press 1954 ,
- G. Polya , Mathematical discovery: On understanding, learning and teaching problem solving New York Wiley 1962
- J.R. Quinlan , A task-independent experience-gathering scheme for a problem-solver , Proc , 1969 , vol. IJCAI-I , pp. 193 – 197
- S.K. Reed and G.W. Ernst and R. Banerji , The role of analogy in transfer between similar problem states , Cog. Psych , 1959 , vol. 3 , pp. 211 – 229
- A.L. Samuel , Some studies in machine learning using the game of checkers , IBM J. Res. Dev , 1959 , vol. 3 , pp. 211 – 229
- J.M. Scandurra and J.H. Durnin and W.H. Wulfeck II , Higher order characterization of heuristics for compass and straight edge constructions in geometry , Artif. Intell , 1974 , vol. 5 , pp. 149 – 183
- H.A. Simon , The structure of ill-structured problems , Artif. Intell , 1973 , vol. 4 , pp. 181 – 201
- A. Toffler , Future shock New York Random House 1970
- L. Uhr and C. Vossler , A pattern-recognition program that generates, evaluates and adjusts its own operators , Proc. WJCC , 1961 , vol. 19 , pp. 555 – 570
- B. Welham , Geometry problem solving. Dept. of Artificial Intelligence, Research Report No. 14 University of Edinburgh 1976 ,
- P. Winston , Learning structural descriptions from examples In the psychology of computer vision , New York 1975 , ed. P. Winston ,
- A.L. Zobrist and F.R., Jr. Carlson , An advice-taking chess computer , Sci. Am , 1973 , vol. 228 , pp. 92 – 105