John Alan Robinson
John Alan Robinson (Halifax, - Portland (Maine), ) foi um filósofo (por formação), matemático e cientista da computação . Ele era Professor Emérito Universitário da Universidade de Syracuse, Estados Unidos.

A maior contribuição de Alan Robinson é para os fundamentos da prova automática de teoremas. Seu algoritmo de unificação eliminou uma fonte de explosão combinatória nos provadores da resolução; também preparou o terreno na programação lógica de paradigma, em particular na língua prolog. Robinson recebeu o Prêmio Herbrand de 1996 nas distintas contribuições para raciocínio automático.
Q218260
Halifax
UNK
Q49201
Portland (Maine)
LOC
Q170790
matemático
Concept
Q617433
Universidade de Syracuse
LOC
Q30
Estados Unidos
LOC
Q431667
prova automática de teoremas
Concept
None
algoritmo de unificação
UNK
Q1051925
provadores da resolução
Concept
Q275603
programação lógica
Concept
Q163468
prolog
Concept
Q449390
Prêmio Herbrand
MEDIA
Q327981
John Alan Robinson
PER
+1996^^http://www.w3.org/2001/XMLSchema#decimal
1996
NUMBER
place of death
occupation
employer
country of citizenship
award received
country
instance of