John Alan Robinson Introduces the Resolution Principle

In 1965 philosopher, mathematician and computer scientist John Alan Robinson, while at Rice University, published "A Machine-Oriented Logic Based on the Resolution Principle", Communications of the ACM, 5: 23–41. This paper introduced the resolution principle, a standard of logical deduction in AI applications.