John Alan Robinson

Robinson in 2012 John Alan Robinson (9 March 1930 – 5 August 2016) was a philosopher, mathematician, and computer scientist. He was a professor emeritus at Syracuse University.

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. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Robinson, John Alan, 1937-', query time: 0.01s Refine Results
  1. 1

    Handbook of logic in artificial intelligence and logic programming /

    Published 1998
    Other Authors:
    Book