Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/John_Alan_Robinson> ?p ?o }
- John_Alan_Robinson abstract "John Alan Robinson (born 1928) is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University, United States.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 almaMater Princeton_University.
- John_Alan_Robinson almaMater University_of_Cambridge.
- John_Alan_Robinson almaMater University_of_Oregon.
- John_Alan_Robinson award American_Mathematical_Society.
- John_Alan_Robinson award Herbrand_Award.
- John_Alan_Robinson birthDate "1930".
- John_Alan_Robinson birthYear "1930".
- John_Alan_Robinson doctoralAdvisor Carl_Gustav_Hempel.
- John_Alan_Robinson knownFor Resolution_(logic).
- John_Alan_Robinson knownFor Unification_(computer_science).
- John_Alan_Robinson thumbnail John_Alan_Robinson_IMG_0493.jpg?width=300.
- John_Alan_Robinson wikiPageExternalLink 321250.321253.
- John_Alan_Robinson wikiPageExternalLink default.asp?aid=1259.
- John_Alan_Robinson wikiPageID "8895114".
- John_Alan_Robinson wikiPageLength "7631".
- John_Alan_Robinson wikiPageOutDegree "66".
- John_Alan_Robinson wikiPageRevisionID "660019190".
- John_Alan_Robinson wikiPageWikiLink AAAI.
- John_Alan_Robinson wikiPageWikiLink American_Mathematical_Society.
- John_Alan_Robinson wikiPageWikiLink Andrei_Voronkov.
- John_Alan_Robinson wikiPageWikiLink Argonne_National_Laboratory.
- John_Alan_Robinson wikiPageWikiLink Association_for_Logic_Programming.
- John_Alan_Robinson wikiPageWikiLink Association_for_the_Advancement_of_Artificial_Intelligence.
- John_Alan_Robinson wikiPageWikiLink Automated_reasoning.
- John_Alan_Robinson wikiPageWikiLink Automated_theorem_proving.
- John_Alan_Robinson wikiPageWikiLink Cambridge_University.
- John_Alan_Robinson wikiPageWikiLink Carl_Gustav_Hempel.
- John_Alan_Robinson wikiPageWikiLink Carl_Hempel.
- John_Alan_Robinson wikiPageWikiLink Category:1930_births.
- John_Alan_Robinson wikiPageWikiLink Category:20th-century_American_mathematicians.
- John_Alan_Robinson wikiPageWikiLink Category:20th-century_British_mathematicians.
- John_Alan_Robinson wikiPageWikiLink Category:21st-century_American_mathematicians.
- John_Alan_Robinson wikiPageWikiLink Category:21st-century_British_mathematicians.
- John_Alan_Robinson wikiPageWikiLink Category:Academic_journal_editors.
- John_Alan_Robinson wikiPageWikiLink Category:Alumni_of_the_University_of_Cambridge.
- John_Alan_Robinson wikiPageWikiLink Category:American_computer_scientists.
- John_Alan_Robinson wikiPageWikiLink Category:British_computer_scientists.
- John_Alan_Robinson wikiPageWikiLink Category:British_expatriates_in_the_United_States.
- John_Alan_Robinson wikiPageWikiLink Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence.
- John_Alan_Robinson wikiPageWikiLink Category:Formal_methods_people.
- John_Alan_Robinson wikiPageWikiLink Category:Guggenheim_Fellows.
- John_Alan_Robinson wikiPageWikiLink Category:Living_people.
- John_Alan_Robinson wikiPageWikiLink Category:Princeton_University_alumni.
- John_Alan_Robinson wikiPageWikiLink Category:Rice_University_faculty.
- John_Alan_Robinson wikiPageWikiLink Category:Syracuse_University_faculty.
- John_Alan_Robinson wikiPageWikiLink Category:University_of_Oregon_alumni.
- John_Alan_Robinson wikiPageWikiLink Classics.
- John_Alan_Robinson wikiPageWikiLink Computer_scientist.
- John_Alan_Robinson wikiPageWikiLink DuPont.
- John_Alan_Robinson wikiPageWikiLink Du_Pont.
- John_Alan_Robinson wikiPageWikiLink England.
- John_Alan_Robinson wikiPageWikiLink Handbook_of_Automated_Reasoning.
- John_Alan_Robinson wikiPageWikiLink Herbrand_Award.
- John_Alan_Robinson wikiPageWikiLink Honorary_Doctorate.
- John_Alan_Robinson wikiPageWikiLink Honorary_degree.
- John_Alan_Robinson wikiPageWikiLink Journal_of_Logic_Programming.
- John_Alan_Robinson wikiPageWikiLink Journal_of_Logical_and_Algebraic_Methods_in_Programming.
- John_Alan_Robinson wikiPageWikiLink Journal_of_the_ACM.
- John_Alan_Robinson wikiPageWikiLink Katholieke_Universiteit_Leuven.
- John_Alan_Robinson wikiPageWikiLink List_of_Guggenheim_Fellowships_awarded_in_1967.
- John_Alan_Robinson wikiPageWikiLink List_of_important_publications_in_computer_science.
- John_Alan_Robinson wikiPageWikiLink Logic_programming.
- John_Alan_Robinson wikiPageWikiLink MIT_Press.
- John_Alan_Robinson wikiPageWikiLink Mathematician.
- John_Alan_Robinson wikiPageWikiLink Mathematics.
- John_Alan_Robinson wikiPageWikiLink Operations_research.
- John_Alan_Robinson wikiPageWikiLink Philosopher.
- John_Alan_Robinson wikiPageWikiLink Philosophy.
- John_Alan_Robinson wikiPageWikiLink Princeton_University.
- John_Alan_Robinson wikiPageWikiLink Prolog.
- John_Alan_Robinson wikiPageWikiLink Resolution_(logic).
- John_Alan_Robinson wikiPageWikiLink Resolution_principle.
- John_Alan_Robinson wikiPageWikiLink Resolution_prover.
- John_Alan_Robinson wikiPageWikiLink Rice_University.
- John_Alan_Robinson wikiPageWikiLink Syracuse_University.
- John_Alan_Robinson wikiPageWikiLink Technical_University_of_Madrid.
- John_Alan_Robinson wikiPageWikiLink The_MIT_Press.
- John_Alan_Robinson wikiPageWikiLink Unification_(computer_science).
- John_Alan_Robinson wikiPageWikiLink Unification_algorithm.
- John_Alan_Robinson wikiPageWikiLink United_States.
- John_Alan_Robinson wikiPageWikiLink Universidad_Politecnica_de_Madrid.
- John_Alan_Robinson wikiPageWikiLink University_of_Cambridge.
- John_Alan_Robinson wikiPageWikiLink University_of_Oregon.
- John_Alan_Robinson wikiPageWikiLink Uppsala_University.
- John_Alan_Robinson wikiPageWikiLink Yorkshire.
- John_Alan_Robinson wikiPageWikiLinkText "Alan Robinson".
- John_Alan_Robinson wikiPageWikiLinkText "J. Alan Robinson".
- John_Alan_Robinson wikiPageWikiLinkText "John A. Robinson".
- John_Alan_Robinson wikiPageWikiLinkText "John Alan Robinson".
- John_Alan_Robinson wikiPageWikiLinkText "Robinson".
- John_Alan_Robinson wikiPageWikiLinkText "Robinson's".
- John_Alan_Robinson wikiPageWikiLinkText "Robinson, John Alan".
- John_Alan_Robinson almaMater Cambridge_University.
- John_Alan_Robinson almaMater Princeton_University.
- John_Alan_Robinson almaMater University_of_Cambridge.
- John_Alan_Robinson almaMater University_of_Oregon.
- John_Alan_Robinson awards "AMS Milestone Award 1985, Humboldt Senior Scientist Award 1995, Herbrand Award 1996".
- John_Alan_Robinson birthDate "1928".
- John_Alan_Robinson caption "John Alan Robinson in 2012".