Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Pat_Hayes> ?p ?o }
- Pat_Hayes abstract "Patrick John Hayes FAAAI (born 21 August 1944) is a British computer scientist who lives and works in the United States. As of March 2006, he is a Senior Research Scientist at the Institute for Human and Machine Cognition in Pensacola, Florida.".
- Pat_Hayes almaMater University_of_Cambridge.
- Pat_Hayes almaMater University_of_Edinburgh.
- Pat_Hayes award Association_for_the_Advancement_of_Artificial_Intelligence.
- Pat_Hayes birthDate "1944-08-21".
- Pat_Hayes birthPlace Newent.
- Pat_Hayes field Computer_science.
- Pat_Hayes influencedBy John_McCarthy_(computer_scientist).
- Pat_Hayes wikiPageExternalLink books?id=bdIIcgAACAAJ.
- Pat_Hayes wikiPageExternalLink phayes.
- Pat_Hayes wikiPageExternalLink phayes.
- Pat_Hayes wikiPageID "2634721".
- Pat_Hayes wikiPageLength "10142".
- Pat_Hayes wikiPageOutDegree "54".
- Pat_Hayes wikiPageRevisionID "705905384".
- Pat_Hayes wikiPageWikiLink Artificial_intelligence.
- Pat_Hayes wikiPageWikiLink Association_for_the_Advancement_of_Artificial_Intelligence.
- Pat_Hayes wikiPageWikiLink Category:1944_births.
- Pat_Hayes wikiPageWikiLink Category:Alumni_of_the_University_of_Edinburgh.
- Pat_Hayes wikiPageWikiLink Category:British_computer_scientists.
- Pat_Hayes wikiPageWikiLink Category:British_expatriates_in_the_United_States.
- Pat_Hayes wikiPageWikiLink Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence.
- Pat_Hayes wikiPageWikiLink Category:Florida_Institute_for_Human_and_Machine_Cognition_people.
- Pat_Hayes wikiPageWikiLink Category:Living_people.
- Pat_Hayes wikiPageWikiLink Cognitive_Science_Society.
- Pat_Hayes wikiPageWikiLink Common_Logic.
- Pat_Hayes wikiPageWikiLink Computer_science.
- Pat_Hayes wikiPageWikiLink Computer_scientist.
- Pat_Hayes wikiPageWikiLink Florida_Institute_for_Human_and_Machine_Cognition.
- Pat_Hayes wikiPageWikiLink Fluent_(artificial_intelligence).
- Pat_Hayes wikiPageWikiLink Ian_Horrocks.
- Pat_Hayes wikiPageWikiLink International_Joint_Conference_on_Artificial_Intelligence.
- Pat_Hayes wikiPageWikiLink John_McCarthy_(computer_scientist).
- Pat_Hayes wikiPageWikiLink Kenneth_M._Ford.
- Pat_Hayes wikiPageWikiLink Knowledge_representation_and_reasoning.
- Pat_Hayes wikiPageWikiLink Mathematical_Tripos.
- Pat_Hayes wikiPageWikiLink Newent.
- Pat_Hayes wikiPageWikiLink Ontology_(information_science).
- Pat_Hayes wikiPageWikiLink Pensacola,_Florida.
- Pat_Hayes wikiPageWikiLink Reason.
- Pat_Hayes wikiPageWikiLink Resource_Description_Framework.
- Pat_Hayes wikiPageWikiLink SPARQL.
- Pat_Hayes wikiPageWikiLink Semantic_Web.
- Pat_Hayes wikiPageWikiLink Simon_Newcomb.
- Pat_Hayes wikiPageWikiLink Situation_calculus.
- Pat_Hayes wikiPageWikiLink Space.
- Pat_Hayes wikiPageWikiLink University_of_Cambridge.
- Pat_Hayes wikiPageWikiLink University_of_Edinburgh.
- Pat_Hayes wikiPageWikiLink University_of_Essex.
- Pat_Hayes wikiPageWikiLink University_of_Illinois_at_Urbana–Champaign.
- Pat_Hayes wikiPageWikiLink University_of_Rochester.
- Pat_Hayes wikiPageWikiLink Web_Ontology_Language.
- Pat_Hayes wikiPageWikiLinkText "Pat Hayes".
- Pat_Hayes wikiPageWikiLinkText "Patrick Hayes".
- Pat_Hayes almaMater University_of_Edinburgh.
- Pat_Hayes almaMater "University of Cambridge".
- Pat_Hayes birthDate "1944-08-21".
- Pat_Hayes birthPlace "Newent, Gloucestershire, UK".
- Pat_Hayes citizenship "UK".
- Pat_Hayes doctoralAdvisor "Bernard Meltzer".
- Pat_Hayes doctoralStudents "Anthony Cohn".
- Pat_Hayes doctoralStudents "Jörg Siekmann".
- Pat_Hayes field Computer_science.
- Pat_Hayes influences John_McCarthy_(computer_scientist).
- Pat_Hayes knownFor "Naive Physics Manifesto".
- Pat_Hayes name "Patrick John Hayes".
- Pat_Hayes prizes Association_for_the_Advancement_of_Artificial_Intelligence.
- Pat_Hayes residence "US".
- Pat_Hayes thesisTitle "Semantic trees: new foundations for automatic theorem proving".
- Pat_Hayes thesisUrl books?id=bdIIcgAACAAJ.
- Pat_Hayes thesisYear "1975".
- Pat_Hayes website phayes.
- Pat_Hayes wikiPageUsesTemplate Template:As_of.
- Pat_Hayes wikiPageUsesTemplate Template:Authority_control.
- Pat_Hayes wikiPageUsesTemplate Template:Birth_date_and_age.
- Pat_Hayes wikiPageUsesTemplate Template:Citation_needed.
- Pat_Hayes wikiPageUsesTemplate Template:EngvarB.
- Pat_Hayes wikiPageUsesTemplate Template:Infobox_scientist.
- Pat_Hayes wikiPageUsesTemplate Template:Other_people.
- Pat_Hayes wikiPageUsesTemplate Template:Reflist.
- Pat_Hayes wikiPageUsesTemplate Template:Use_dmy_dates.
- Pat_Hayes workInstitution Florida_Institute_for_Human_and_Machine_Cognition.
- Pat_Hayes workInstitution University_of_Cambridge.
- Pat_Hayes workInstitution University_of_Edinburgh.
- Pat_Hayes workInstitution "University of Essex".
- Pat_Hayes workInstitution "University of Illinois at Urbana-Champaign".
- Pat_Hayes workInstitution "University of Rochester".
- Pat_Hayes subject Category:1944_births.
- Pat_Hayes subject Category:Alumni_of_the_University_of_Edinburgh.
- Pat_Hayes subject Category:British_computer_scientists.
- Pat_Hayes subject Category:British_expatriates_in_the_United_States.
- Pat_Hayes subject Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence.
- Pat_Hayes subject Category:Florida_Institute_for_Human_and_Machine_Cognition_people.
- Pat_Hayes subject Category:Living_people.
- Pat_Hayes hypernym Scientist.
- Pat_Hayes type Agent.
- Pat_Hayes type List.
- Pat_Hayes type Person.
- Pat_Hayes type Scientist.
- Pat_Hayes type Person.