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.
Filed under: Artificial Intelligence, Computing Theory, Mathematics / Logic
