sad news RIP Alan J. Robinson
Valeria de Paiva
From: Pat Hayes <pha...@ihmc.us>
Date: August 10, 2016 at 12:22:08 PM GMT+5:30
Subject: Death of Alan Robinson
Alan Bundy recently sent me the following news of Alan Robinson's death. I am not sure if AR had any direct connection to SAIL, but his work certainly impacted a great deal of the early SAIL work on machine inference.
Pat Hayes
----------------
Folks,
I've just heard that Alan Robinson has died. His son Hugh sent me the following email. I've asked the AAR newsletter editor to circulate this news. Please pass it on to anyone else you think should know.
On 07/08/16 15:05, Hugh Robinson wrote:
I am very sorry to tell you that my father, John Alan Robinson, died two days ago in Portland, Maine, from complications following surgery for cancer, at the age of eighty six.
Alan
--
Postal Address: School of Informatics, University of Edinburgh,
Room 2.15, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK.
Telephone Number: +44-131-650-2716,
Fax Number: +44-131-650-6899,
Email: A.B...@ed.ac.uk.
Web Page: https://sweb.inf.ed.ac.uk/bundy/
Joao Marcos
Ainda me recordo do excelente curso que a Cláudia Nalon ofereceu no
NAT@Logic 2015 em homenagem aos cinquentenário do fundamental Método
de Resolução:
https://sites.google.com/a/dimap.ufrn.br/natalogic-2015/trs#Resolution
RIP, John Alan!
JM
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+u...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXuAnLFjUthwuonpqb_gUmVLtMtoYscgT7QKU8R3Jq8mGA%40mail.gmail.com.
--
http://sequiturquodlibet.googlepages.com/
Joao Marcos
In memoriam (John) Alan Robinson
http://www.cs.miami.edu/home/geoff/Conferences/AAR//Newsletters/116-2016-08.html#robinson