John Alan Robinson is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University, United States. Alan Robinson's major contribution is to the foundations of automated theorem proving and logic programming, using the resolution principle and unification (1965). This enabled the efficient implementation of the Prolog logic programming language and theorem provers.

PropertyValue
dbpedia-owl:Person/individualisedPnd
  • 124196306
dbpprop:abstract
  • John Alan Robinson is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University, United States. Alan Robinson's major contribution is to the foundations of automated theorem proving and logic programming, using the resolution principle and unification (1965). This enabled the efficient implementation of the Prolog logic programming language and theorem provers. Robinson received the 1996 Herbrand Award for Distinguished Contributions to Automated Reasoning (named after the mathematician Jacques Herbrand).
  • John Alan Robinson ist ein englischer Philosoph und Logiker, der wichtige Beiträge zur Logikprogrammierung geleistet hat. Nach einem abgeschlossenen Studium der Klassischen Altertumswissenschaft an der Universität Cambridge ging er 1952 in die USA. Dort studierte er zunächst Philosophie an der University of Oregon und erlangte 1956 in Princeton den Titel Doctor of Philosophy. Danach arbeitete er beim Chemiekonzern DuPont, wo er Programmieren und Mathematik lernte. 1961 wechselte er an die Rice University, wo er sich weiter mit Mathematik beschäftigte. 1965 veröffentlichte er mit „A machine-oriented logic based on the resolution principle“ wichtige Grundlagen zur automatisierbaren Resolution in der Logik. Auf ihn geht ein Algorithmus zur Unifikation von prädikatenlogischen Formeln zurück, der entscheidend beim Nachweis der Unerfüllbarkeit einer prädikatenlogischen Formel ist. Seine Arbeiten sind maßgeblich in die Entwicklung der Logikprogrammiersprache Prolog eingeflossen. Von Stephen Muggleton, Donald Michie und Koichi Furukawa wurde Robinson deshalb in einem 1994 erschienenen Buch als der Begründer der modernen programmierbaren Logik bezeichnet.
dbpprop:id
  • r/Robinson:John_Alan
dbpprop:name
  • John Alan Robinson
dbpprop:reference
dbpprop:wikiPageUsesTemplate
rdfs:comment
  • John Alan Robinson is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University, United States. Alan Robinson's major contribution is to the foundations of automated theorem proving and logic programming, using the resolution principle and unification (1965). This enabled the efficient implementation of the Prolog logic programming language and theorem provers.
  • John Alan Robinson ist ein englischer Philosoph und Logiker, der wichtige Beiträge zur Logikprogrammierung geleistet hat. Nach einem abgeschlossenen Studium der Klassischen Altertumswissenschaft an der Universität Cambridge ging er 1952 in die USA. Dort studierte er zunächst Philosophie an der University of Oregon und erlangte 1956 in Princeton den Titel Doctor of Philosophy. Danach arbeitete er beim Chemiekonzern DuPont, wo er Programmieren und Mathematik lernte.
rdfs:label
  • John Alan Robinson
  • John Alan Robinson
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of