John Alan Robinson
E46382
John Alan Robinson was a pioneering logician and computer scientist best known for introducing the resolution principle, a fundamental method in automated theorem proving and logic programming.
Statements (40)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
→
logician → person → |
| academicDiscipline |
computer science
→
logic → philosophy → |
| awardReceived |
CAI Distinguished Research Award
→
Herbrand Award → |
| birthDate |
1930
→
|
| birthPlace |
Yorkshire, England
→
|
| contributedTo |
foundations of logic programming
→
resolution-based theorem provers → |
| countryOfCitizenship |
United Kingdom
→
United States of America → |
| deathDate |
2016
→
|
| educatedAt |
Cambridge University
NERFINISHED
→
Princeton University → |
| employer |
Syracuse University
→
|
| familyName |
Robinson
→
|
| fieldOfWork |
artificial intelligence
→
automated theorem proving → logic programming → mathematical logic → |
| fullName |
John Alan Robinson
→
|
| givenName |
John
→
|
| hasResearchInterest |
automated deduction
→
first-order logic → non-classical logics → |
| influenced |
development of Prolog
→
research in automated reasoning → research in logic programming → |
| inspired |
SLD-resolution in logic programming
→
development of resolution-based proof procedures in AI → |
| introduced |
resolution principle
→
|
| knownFor |
1965 paper on a machine-oriented logic based on the resolution principle
→
|
| languageOfWorkOrName |
English
→
|
| notableFor |
automated deduction
→
contributions to logic programming → resolution principle → |
| positionHeld |
professor of computer science at Syracuse University
→
|
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
John Alan Robinson
→
|
fullName |
|
Herbrand Award
→
|
notableRecipient |