Some studies in machine learning using the game of checkers
Computers & thought
A Formal Deductive Problem-Solving System
Journal of the ACM (JACM)
The Unit Proof and the Input Proof in Theorem Proving
Journal of the ACM (JACM)
A Unifying View of Some Linear Herbrand Procedures
Journal of the ACM (JACM)
Experiments in automatic learning for a multipurpose hueristic program
Communications of the ACM
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
A task-independent experience-gathering scheme for a problem-solver
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
| Hi-index | 0.00 |