John Alan Robinson

Property	Value
rdf:type	Fellow of the Association for the Advancement of Artificial Intelligence Formal methods person owl:NamedIndividual 1930 birth 2016 death 20th-century American mathematician 21st-century American mathematician Academic journal editor Alumnus of the University of Cambridge American computer scientist Americans of English descent British expatriate in the United States Princeton University alumnus Guggenheim Fellowships awarded in 1967 20th-century British mathematician 21st-century British mathematician British computer scientist Mathematician from New York (state)
rdfs:label	John Alan Robinson
owl:sameAs	dbr:John_Alan_Robinson
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/1991_Birthday_Honours http://en.wikipedia.org/wiki/John_Robinson http://en.wikipedia.org/wiki/List_of_Guggenheim_Fellowships_awarded_in_1967 http://en.wikipedia.org/wiki/1981_Birthday_Honours http://en.wikipedia.org/wiki/2022_Canadian_honours http://en.wikipedia.org/wiki/Halifax,_West_Yorkshire http://en.wikipedia.org/wiki/1996_New_Year_Honours_(New_Zealand) http://en.wikipedia.org/wiki/1917_Birthday_Honours http://en.wikipedia.org/wiki/1966_Birthday_Honours http://en.wikipedia.org/wiki/1969_Birthday_Honours http://en.wikipedia.org/wiki/1971_Birthday_Honours http://en.wikipedia.org/wiki/2004_New_Year_Honours http://en.wikipedia.org/wiki/2016_in_the_United_Kingdom http://en.wikipedia.org/wiki/Category:1930_births http://en.wikipedia.org/wiki/Category:2016_deaths http://en.wikipedia.org/wiki/Category:20th-century_American_mathematicians http://en.wikipedia.org/wiki/Category:21st-century_American_mathematicians http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Cambridge http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Cambridge_by_college http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:British_expatriates_in_the_United_States http://en.wikipedia.org/wiki/Category:Princeton_University_alumni http://en.wikipedia.org/wiki/Knights_of_the_Royal_Oak http://en.wikipedia.org/wiki/List_of_Americans_of_English_descent http://en.wikipedia.org/wiki/1997_New_Year_Honours http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/1923_New_Year_Honours http://en.wikipedia.org/wiki/1964_Birthday_Honours http://en.wikipedia.org/wiki/2021_Birthday_Honours http://en.wikipedia.org/wiki/Category:Academic_journal_editors http://en.wikipedia.org/wiki/Category:Academic_journal_editors_by_field http://en.wikipedia.org/wiki/Category:Academic_journal_editors_by_journal http://en.wikipedia.org/wiki/Deaths_in_August_2016 http://en.wikipedia.org/wiki/Herbrand_Award http://en.wikipedia.org/wiki/Statistical_Society_of_Australia http://en.wikipedia.org/wiki/Captain_Ingram's_Partisan_Rangers http://en.wikipedia.org/wiki/1945_Birthday_Honours http://en.wikipedia.org/wiki/1968_New_Year_Honours http://en.wikipedia.org/wiki/1988_Birthday_Honours http://en.wikipedia.org/wiki/Category:20th-century_British_mathematicians http://en.wikipedia.org/wiki/Category:British_computer_scientists http://en.wikipedia.org/wiki/Category:Mathematicians_from_New_York_(state) http://en.wikipedia.org/wiki/Chichester_High_School_For_Boys http://en.wikipedia.org/wiki/2014_Birthday_Honours http://en.wikipedia.org/wiki/Category:21st-century_British_mathematicians http://en.wikipedia.org/wiki/Athletics_at_the_1974_British_Commonwealth_Games_%E2%80%93_Men's_marathon http://en.wikipedia.org/wiki/Association_for_Logic_Programming
skos:prefLabel	John Alan Robinson
skos:altLabel	Robinson John Robinson Robinson's Alan Robinson John A. Robinson J. Alan Robinson J.A. Robinson
clgo:academicDiscipline	Computer science
clgo:almaMater	University of Cambridge University of Oregon Princeton University
clgo:award	American Mathematical Society Association for the Advancement of Artificial Intelligence Herbrand Award
clgo:birthDate	1930-03-09
clgo:birthPlace	Halifax, West Yorkshire New York (state)
clgo:birthYear	1930
clgo:deathDate	2016-08-05
clgo:deathPlace	Portland, Maine
clgo:deathYear	2016
clgo:doctoralAdvisor	Carl Gustav Hempel
clgo:institution	Syracuse University
clgo:knownFor	Resolution (logic) Unification (computer science)

About: clgr:John_Alan_Robinson