John Alan Robinson
American computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about J. Alan Robinson?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
John Alan Robinson (9 March 1930 – 5 August 2016) was a philosopher, mathematician, and computer scientist. He was a professor emeritus at Syracuse University.
Quick Facts Born, Died ...
John Alan Robinson | |
---|---|
Born | (1930-03-09)9 March 1930 |
Died | 5 August 2016(2016-08-05) (aged 86) Portland, Maine, US |
Alma mater | Cambridge University University of Oregon Princeton University |
Known for | resolution principle, unification |
Awards | AMS Milestone Award 1985, Humboldt Senior Scientist Award 1995, Herbrand Award 1996 |
Scientific career | |
Institutions | Syracuse University |
Thesis | Causation, probability and testimony (1957) |
Doctoral advisor | Carl Hempel[1] |
Close
Alan Robinson's major contribution is to the foundations of automated theorem proving. His unification algorithm eliminated one source of combinatorial explosion in resolution provers; it also prepared the ground for the logic programming paradigm, in particular for the Prolog language. Robinson received the 1996 Herbrand Award for Distinguished Contributions to Automated Reasoning.