Matches in DBpedia 2014 for { <http://dbpedia.org/resource/John_Alan_Robinson> ?p ?o. }
Showing items 1 to 93 of
93
with 100 items per page.
- John_Alan_Robinson abstract "John Alan Robinson (born 1928) 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 birthDate "1930".
- John_Alan_Robinson birthYear "1930".
- John_Alan_Robinson thumbnail John_Alan_Robinson_IMG_0493.jpg?width=300.
- John_Alan_Robinson viafId "77241917".
- John_Alan_Robinson wikiPageExternalLink 321250.321253.
- John_Alan_Robinson wikiPageExternalLink default.asp?aid=1259.
- John_Alan_Robinson wikiPageExternalLink 1996.html.
- John_Alan_Robinson wikiPageID "8895114".
- John_Alan_Robinson wikiPageRevisionID "583570900".
- John_Alan_Robinson dateOfBirth "1930".
- John_Alan_Robinson hasPhotoCollection John_Alan_Robinson.
- John_Alan_Robinson name "Robinson, John Alan".
- John_Alan_Robinson shortDescription "British-American mathematician".
- John_Alan_Robinson description "British-American mathematician".
- John_Alan_Robinson description "British-American mathematician".
- John_Alan_Robinson subject Category:1930_births.
- John_Alan_Robinson subject Category:Academic_journal_editors.
- John_Alan_Robinson subject Category:Alumni_of_the_University_of_Cambridge.
- John_Alan_Robinson subject Category:American_computer_scientists.
- John_Alan_Robinson subject Category:American_mathematicians.
- John_Alan_Robinson subject Category:British_computer_scientists.
- John_Alan_Robinson subject Category:British_expatriates_in_the_United_States.
- John_Alan_Robinson subject Category:British_mathematicians.
- John_Alan_Robinson subject Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence.
- John_Alan_Robinson subject Category:Formal_methods_people.
- John_Alan_Robinson subject Category:Guggenheim_Fellows.
- John_Alan_Robinson subject Category:Living_people.
- John_Alan_Robinson subject Category:Princeton_University_alumni.
- John_Alan_Robinson subject Category:Rice_University_faculty.
- John_Alan_Robinson subject Category:Syracuse_University_faculty.
- John_Alan_Robinson subject Category:University_of_Oregon_alumni.
- John_Alan_Robinson type Absentee109757653.
- John_Alan_Robinson type AcademicJournalEditors.
- John_Alan_Robinson type AlumniOfTheUniversityOfCambridge.
- John_Alan_Robinson type Alumnus109786338.
- John_Alan_Robinson type AmericanComputerScientists.
- John_Alan_Robinson type AmericanMathematicians.
- John_Alan_Robinson type Associate109816771.
- John_Alan_Robinson type BritishComputerScientists.
- John_Alan_Robinson type BritishExpatriatesInTheUnitedStates.
- John_Alan_Robinson type BritishMathematicians.
- John_Alan_Robinson type CausalAgent100007347.
- John_Alan_Robinson type Colleague109935990.
- John_Alan_Robinson type ComputerScientist109951070.
- John_Alan_Robinson type ComputerUser109951274.
- John_Alan_Robinson type Editor110044879.
- John_Alan_Robinson type Exile110071332.
- John_Alan_Robinson type FellowsOfTheAssociationForTheAdvancementOfArtificialIntelligence.
- John_Alan_Robinson type FormalMethodsPeople.
- John_Alan_Robinson type Intellectual109621545.
- John_Alan_Robinson type LivingPeople.
- John_Alan_Robinson type LivingThing100004258.
- John_Alan_Robinson type Mathematician110301261.
- John_Alan_Robinson type Object100002684.
- John_Alan_Robinson type Organism100004475.
- John_Alan_Robinson type Peer109626238.
- John_Alan_Robinson type Person100007846.
- John_Alan_Robinson type PhysicalEntity100001930.
- John_Alan_Robinson type PrincetonUniversityAlumni.
- John_Alan_Robinson type Scholar110557854.
- John_Alan_Robinson type Scientist110560637.
- John_Alan_Robinson type SkilledWorker110605985.
- John_Alan_Robinson type Traveler109629752.
- John_Alan_Robinson type Whole100003553.
- John_Alan_Robinson type Worker109632518.
- John_Alan_Robinson type YagoLegalActor.
- John_Alan_Robinson type YagoLegalActorGeo.
- John_Alan_Robinson type Agent.
- John_Alan_Robinson type Person.
- John_Alan_Robinson type Person.
- John_Alan_Robinson type Q215627.
- John_Alan_Robinson type Q5.
- John_Alan_Robinson type Agent.
- John_Alan_Robinson type NaturalPerson.
- John_Alan_Robinson type Thing.
- John_Alan_Robinson type Person.
- John_Alan_Robinson comment "John Alan Robinson (born 1928) 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).".
- John_Alan_Robinson label "John Alan Robinson".
- John_Alan_Robinson label "John Alan Robinson".
- John_Alan_Robinson label "Робинсон, Джон Алан".
- John_Alan_Robinson sameAs John_Alan_Robinson.
- John_Alan_Robinson sameAs m.027npjj.
- John_Alan_Robinson sameAs Q327981.
- John_Alan_Robinson sameAs Q327981.
- John_Alan_Robinson sameAs John_Alan_Robinson.
- John_Alan_Robinson wasDerivedFrom John_Alan_Robinson?oldid=583570900.
- John_Alan_Robinson depiction John_Alan_Robinson_IMG_0493.jpg.
- John_Alan_Robinson givenName "John Alan".
- John_Alan_Robinson isPrimaryTopicOf John_Alan_Robinson.
- John_Alan_Robinson name "John Alan Robinson".
- John_Alan_Robinson name "Robinson, John Alan".
- John_Alan_Robinson surname "Robinson".