Additional Key Words and Phrases: artificial intelligence, heuristic programming, problem-solving, formal model of problem-solving
Selected references
- J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1):23-41, January 1965.