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]
John Alan Robinson (9 March 1930 – 5 August 2016) 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.
^"philosophyfamilytree record". Archived from the original on 28 October 2014. Retrieved 13 September 2014.
and 19 Related for: John Alan Robinson information
JohnAlanRobinson (9 March 1930 – 5 August 2016) was a philosopher, mathematician, and computer scientist. He was a professor emeritus at Syracuse University...
(1918–1996), historian and author of Born in Blood John Talbot Robinson (1923–2001), paleontologist JohnAlanRobinson (1930–2016), British and American philosopher...
Nachum Dershowitz and David Plaisted. "Rewriting", Chapter 9 in JohnAlanRobinson and Andrei Voronkov (Eds.), Handbook of Automated Reasoning, Volume...
Glenn AlanRobinson Jr. (born January 10, 1973) is an American former professional basketball player. Nicknamed "Big Dog" and "The Chosen One", he played...
functions", American Mathematical Monthly 59:521-531, 1952 JSTOR 2308219 JohnAlanRobinson, "A Machine-Oriented Logic Based on the Resolution Principle", Journal...
succeeds if the subproof fails, and it fails if the subproof succeeds. JohnAlanRobinson Robert Kowalski Predicate Logic as a Programming Language Memo 70...
automated reasoning. Published in June 2001 by MIT Press, it is edited by JohnAlanRobinson and Andrei Voronkov. Volume 1 describes methods for classical logic...
Jack Roosevelt Robinson (January 31, 1919 – October 24, 1972) was an American professional baseball player who became the first African American to play...
Alan Mathison Turing OBE FRS (/ˈtjʊərɪŋ/; 23 June 1912 – 7 June 1954) was an English mathematician, computer scientist, logician, cryptanalyst, philosopher...
at Stanford, associated with John McCarthy, Bertram Raphael and Cordell Green, and in Edinburgh, with JohnAlanRobinson (an academic visitor from Syracuse...
Robinson Crusoe (/ˈkruːsoʊ/ KROO-soh) is an English adventure novel by Daniel Defoe, first published on 25 April 1719. Written with a combination of Epistolary...
Australia, where he played Dr. John Forrest in The Young Doctors from 1979 to 1982. He later appeared as Jim Robinson in Neighbours, a part he played...
Spider Robinson (born November 24, 1948) is an American-born Canadian science fiction author. He has won a number of awards for his hard science fiction...
Alan Wray Tudyk (/ˈtjuːdɪk/ TEW-dik; born March 16, 1971) is an American actor. His film work includes roles in 28 Days (2000), A Knight's Tale (2001)...
Past award recipients are: Larry Wos (1992) Woody Bledsoe (1994) JohnAlanRobinson (1996) Wu Wenjun (1997) Gérard Huet (1998) Robert S. Boyer and J Strother...
Executive of the NHS (1986–1989). JohnAlanRobinson, 86, philosopher, mathematician and computer scientist. 6 August Alan Dossor, 74, theatre director. Kenneth...
1007/BF01360048. S2CID 120620003. Dov M. Gabbay, Christopher John Hogger, JohnAlanRobinson, Handbook of Logic in Artificial Intelligence and Logic Programming:...