John Alan Robinson

#6,340
Most Influential Person

British-American mathematician

Why Is John Alan Robinson Influential?

According to Wikipedia, John Alan Robinson was a philosopher, mathematician, and computer scientist. He was a professor emeritus at Syracuse University. 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.

John Alan Robinson's Published Works

Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
1970198019902000050010001500200025003000350040004500

Published Papers

This paper list is powered by the following services:

Metadata from Crossref logo

Other Resources About John Alan Robinson

What Schools Are Affiliated With John Alan Robinson?

John Alan Robinson is affiliated with the following schools:

John Alan Robinson's Academic­Influence.com Rankings