Detail map of Houston, Texas, United States Overview map of Houston, Texas, United States

A: Houston, Texas, United States

John Alan Robinson Introduces the Resolution Principle

1/1965
<p>John Alan Robinson in 2012</p>

John Alan Robinson in 2012

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.

Timeline Themes