J. A. Robinson

URI: https://gptkb.org/entity/J._A._Robinson
GPTKB entity
Statements (22)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Cambridge
gptkbp:award gptkb:Herbrand_Award
gptkb:IJCAI_Award_for_Research_Excellence
gptkbp:birthDate 1919-03-09
gptkbp:birthPlace gptkb:Halifax,_England
gptkbp:deathDate 2016-08-05
gptkbp:deathPlace gptkb:Syracuse,_New_York,_USA
gptkbp:doctoralAdvisor gptkb:R._B._Braithwaite
gptkbp:field gptkb:artificial_intelligence
gptkb:logic
automated reasoning
gptkbp:fullName gptkb:John_Alan_Robinson
https://www.w3.org/2000/01/rdf-schema#label J. A. Robinson
gptkbp:knownFor resolution principle
unification algorithm
gptkbp:nationality British
gptkbp:notableWork gptkb:A_Machine-Oriented_Logic_Based_on_the_Resolution_Principle
gptkbp:occupation gptkb:computer_scientist
gptkb:philosopher
gptkbp:bfsParent gptkb:A_Computing_Procedure_for_Quantification_Theory
gptkbp:bfsLayer 7