| dbo:abstract
|
- جون ألان روبنسون (بالإنجليزية: John Alan Robinson) هو عالم حاسوب ورياضياتي ومهندس أمريكي وبريطاني، ولد في 9 مارس 1930 في يوركشاير في المملكة المتحدة، وتوفي في 5 أغسطس 2016 في بورتلاند في الولايات المتحدة. (ar)
- John Alan Robinson, genannt Alan Robinson, (* 9. März 1930 in Halifax, Yorkshire, Großbritannien; † 5. August 2016 in Portland, Maine, Vereinigte Staaten) war ein britischer 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 , Donald Michie und wurde Robinson deshalb in einem 1994 erschienenen Buch als der Begründer der modernen programmierbaren Logik bezeichnet. Auf Wunsch von Wolfgang Bibel erhielt er 1994 den Humboldt-Preis, der einen sechsmonatigen Aufenthalt an der Technischen Universität Darmstadt beinhaltete. 1996 erhielt er den Herbrand Award. (de)
- 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. (en)
- John Alan Robinson (né le 9 mars 1930 à Halifax (Royaume-Uni), et mort le 5 août 2016 à Portland (Maine)) est un philosophe, mathématicien et informaticien. Il termine sa carrière comme professeur émérite à l'Université de Syracuse. La contribution majeure d'Alan Robinson est aux fondements de la démonstration automatique de théorèmes. Son algorithme d'unification a éliminé une source d' explosion combinatoire dans les démonstrateurs de résolution ; il a également préparé le terrain pour le paradigme de programmation logique, en particulier pour le langage Prolog . Robinson a reçu le prix Herbrand 1996 pour ses « contributions remarquables au raisonnement automatisé ». (fr)
- John Alan Robinson (Halifax, 9 de março de 1930 - Portland (Maine), 5 de agosto de 2016) 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. (pt)
- Джон А́лан Ро́бінсон (англ. John Alan Robinson; нар. 9 березня 1930, Йоркшир, Велика Британія — 5 серпня 2016, Портленд, США) — англійський філософ і логік, зробив важливий внесок у становлення логічного програмування. Його називають одним із засновників сучасної програмованої логіки. У 1996 р. Робінсон отримав премію імені Жака Ербрана за видатний внесок у розвиток автоматизації міркувань. (uk)
- Джон Алан Робинсон (англ. John Alan Robinson; 1930, Йоркшир, Великобритания — 5 августа 2016) — британский философ и логик, внёс важный вклад в становление логического программирования. (ru)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:deathDate
| |
| dbo:deathPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 11071 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:awards
|
- AMS Milestone Award 1985, Humboldt Senior Scientist Award 1995, Herbrand Award 1996 (en)
|
| dbp:birthDate
| |
| dbp:birthPlace
|
- Halifax, West Yorkshire, UK (en)
|
| dbp:caption
|
- John Alan Robinson in 2012 (en)
|
| dbp:deathDate
| |
| dbp:deathPlace
| |
| dbp:doctoralAdvisor
| |
| dbp:knownFor
| |
| dbp:name
| |
| dbp:thesisTitle
|
- Causation, probability and testimony (en)
|
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workplaces
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- جون ألان روبنسون (بالإنجليزية: John Alan Robinson) هو عالم حاسوب ورياضياتي ومهندس أمريكي وبريطاني، ولد في 9 مارس 1930 في يوركشاير في المملكة المتحدة، وتوفي في 5 أغسطس 2016 في بورتلاند في الولايات المتحدة. (ar)
- 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. (en)
- Джон А́лан Ро́бінсон (англ. John Alan Robinson; нар. 9 березня 1930, Йоркшир, Велика Британія — 5 серпня 2016, Портленд, США) — англійський філософ і логік, зробив важливий внесок у становлення логічного програмування. Його називають одним із засновників сучасної програмованої логіки. У 1996 р. Робінсон отримав премію імені Жака Ербрана за видатний внесок у розвиток автоматизації міркувань. (uk)
- Джон Алан Робинсон (англ. John Alan Robinson; 1930, Йоркшир, Великобритания — 5 августа 2016) — британский философ и логик, внёс важный вклад в становление логического программирования. (ru)
- John Alan Robinson, genannt Alan Robinson, (* 9. März 1930 in Halifax, Yorkshire, Großbritannien; † 5. August 2016 in Portland, Maine, Vereinigte Staaten) war ein britischer Philosoph und Logiker, der wichtige Beiträge zur Logikprogrammierung geleistet hat. 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. (de)
- John Alan Robinson (né le 9 mars 1930 à Halifax (Royaume-Uni), et mort le 5 août 2016 à Portland (Maine)) est un philosophe, mathématicien et informaticien. Il termine sa carrière comme professeur émérite à l'Université de Syracuse. (fr)
- John Alan Robinson (Halifax, 9 de março de 1930 - Portland (Maine), 5 de agosto de 2016) 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. (pt)
|
| rdfs:label
|
- جون ألان روبنسون (ar)
- John Alan Robinson (de)
- John Alan Robinson (fr)
- John Alan Robinson (en)
- John Alan Robinson (pt)
- Робинсон, Джон Алан (ru)
- Джон Алан Робінсон (uk)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
