Neuro-evolution and natural deduction
暂无分享,去创建一个
[1] Allen Newell,et al. Physical Symbol Systems , 1980, Cogn. Sci..
[2] J. A. Robinson,et al. Theorem-Proving on the Computer , 1963, JACM.
[3] A. Newell. Reasoning, problem solving, and decision processes: the problem space as a fundamental category , 1993 .
[4] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[5] Risto Miikkulainen,et al. Discovering Complex Othello Strategies through Evolutionary Neural Networks , 1995, Connect. Sci..
[6] John R. Anderson. The Architecture of Cognition , 1983 .
[7] Risto Miikkulainen,et al. Incremental Evolution of Complex General Behavior , 1997, Adapt. Behav..
[8] Risto Miikkulainen,et al. Efficient Reinforcement Learning through Symbiotic Evolution , 1996, Machine Learning.
[9] Risto Miikkulainen,et al. Forming Neural Networks Through Efficient and Adaptive Coevolution , 1997, Evolutionary Computation.
[10] Robert S. Boyer,et al. Proving Theorems about LISP Functions , 1973, JACM.