| Birthplace
|
http://dbpedia.org/resource/Newent +
|
| http://dbpedia.org/ontology/abstract
|
Patrick „Pat“ Hayes (* 21. August 1944 in … Patrick „Pat“ Hayes (* 21. August 1944 in , Gloucestershire) ist ein britischer Informatiker, der sich mit Künstlicher Intelligenz (KI) befasst. Hayes studierte Mathematik an der Universität Cambridge und wurde 1973 bei Bernard Meltzer an der University of Edinburgh in Informatik promoviert (Semantic Trees: New Foundations for Automatic Theorem-Proving). Er war Professor für Informatik an der University of Essex, war Professor für Philosophie an der University of Illinois und Luce Professor für Kognitionswissenschaft an der University of Rochester. Er war Chairman der IJCAI und Präsident der AAAI, Gastwissenschaftler an der Universität Genf, an der Stanford University, bei Xerox PARC, SRI International und Schlumberger. Er befasste sich mit Wissensdarstellung (speziell von Raum und Zeit), automatischem Beweisen, Ontologie, den philosophischen Grundlagen von KI und dem Semantic Web (er ist Mitglied der W3C Working Groups für die Standards RDF, OWL, SPARQL). Mit John McCarthy begründete er 1969 das Situationskalkül. Mit seinem Naive Physics Manifesto war er einer der Ersten bei der Umsetzung des Ontologie-Konzepts von John McCarthy. Als Hobby repariert er alte Uhren und restauriert alte Häuser.er alte Uhren und restauriert alte Häuser.
, 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.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_Science +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/University_of_Edinburgh +
, http://dbpedia.org/resource/University_of_Cambridge +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/AAAI_Fellow +
|
| http://dbpedia.org/ontology/birthDate
|
"1944-08-21"^^xsd:date
|
| http://dbpedia.org/ontology/birthName
|
Patrick John Hayes
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Bernard_Meltzer_%28computer_scientist%29 +
|
| http://dbpedia.org/ontology/influencedBy
|
http://dbpedia.org/resource/John_McCarthy_%28computer_scientist%29 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://hdl.handle.net/1842/8115 +
|
| http://dbpedia.org/ontology/wikiPageID
|
2634721
|
| http://dbpedia.org/ontology/wikiPageLength
|
10910
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1054104943
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Reasoning +
, http://dbpedia.org/resource/IHMC +
, http://dbpedia.org/resource/IJCAI +
, http://dbpedia.org/resource/Ian_Horrocks +
, http://dbpedia.org/resource/Category:Semantic_Web_people +
, http://dbpedia.org/resource/University_of_Cambridge +
, http://dbpedia.org/resource/Knowledge_representation +
, http://dbpedia.org/resource/American_Association_for_Artificial_Intelligence +
, http://dbpedia.org/resource/AI_Magazine +
, http://dbpedia.org/resource/University_of_Illinois_at_Urbana-Champaign +
, http://dbpedia.org/resource/Expert_system +
, http://dbpedia.org/resource/Category:Florida_Institute_for_Human_and_Machine_Cognition_people +
, http://dbpedia.org/resource/Cognitive_Science_Society +
, http://dbpedia.org/resource/Artificial_intelligence +
, http://dbpedia.org/resource/Category:Fellows_of_the_Cognitive_Science_Society +
, http://dbpedia.org/resource/Space +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Category:British_expatriates_in_the_United_States +
, http://dbpedia.org/resource/Category:1944_births +
, http://dbpedia.org/resource/Common_Logic +
, http://dbpedia.org/resource/AAAI +
, http://dbpedia.org/resource/SPARQL +
, http://dbpedia.org/resource/John_McCarthy_%28computer_scientist%29 +
, http://dbpedia.org/resource/Semantic_Web +
, http://dbpedia.org/resource/Resource_Description_Framework +
, http://dbpedia.org/resource/Ontology_%28information_science%29 +
, http://dbpedia.org/resource/Category:Presidents_of_the_Association_for_the_Advancement_of_Artificial_Intelligence +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence +
, http://dbpedia.org/resource/Artificial_Intelligence +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh +
, http://dbpedia.org/resource/Ontology_%28computer_science%29 +
, http://dbpedia.org/resource/Web_Ontology_Language +
, http://dbpedia.org/resource/Florida_Institute_for_Human_&_Machine_Cognition +
, http://dbpedia.org/resource/Pensacola%2C_Florida +
, http://dbpedia.org/resource/The_John_Bentley_School +
, http://dbpedia.org/resource/University_of_Essex +
, http://dbpedia.org/resource/Category:British_computer_scientists +
, http://dbpedia.org/resource/University_of_Rochester +
, http://dbpedia.org/resource/Cambridge_Mathematical_Tripos +
, http://dbpedia.org/resource/AAAI_Fellow +
, http://dbpedia.org/resource/Semantic_web +
, http://dbpedia.org/resource/Fluent_%28artificial_intelligence%29 +
, http://dbpedia.org/resource/Commonsense_reasoning +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Situation_calculus +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Newent +
, http://dbpedia.org/resource/Simon_Newcomb +
, http://dbpedia.org/resource/University_of_Edinburgh +
, http://dbpedia.org/resource/Knowledge_engineering +
, http://dbpedia.org/resource/Bernard_Meltzer_%28computer_scientist%29 +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/University_of_Edinburgh +
, http://dbpedia.org/resource/University_of_Cambridge +
|
| http://dbpedia.org/property/birthDate
|
"1944-08-21"^^xsd:date
|
| http://dbpedia.org/property/birthName
|
Patrick John Hayes
|
| http://dbpedia.org/property/birthPlace
|
Newent, Gloucestershire, UK
|
| http://dbpedia.org/property/citizenship
|
UK
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Bernard_Meltzer_%28computer_scientist%29 +
|
| http://dbpedia.org/property/education
|
http://dbpedia.org/resource/The_John_Bentley_School +
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Computer_Science +
|
| http://dbpedia.org/property/influences
|
http://dbpedia.org/resource/John_McCarthy_%28computer_scientist%29 +
|
| http://dbpedia.org/property/knownFor
|
Naive Physics Manifesto
|
| http://dbpedia.org/property/name
|
Pat Hayes
|
| http://dbpedia.org/property/prizes
|
AAAI Fellow
|
| http://dbpedia.org/property/residence
|
US
|
| http://dbpedia.org/property/thesisTitle
|
Semantic trees: new foundations for automatic theorem proving
|
| http://dbpedia.org/property/thesisUrl
|
http://hdl.handle.net/1842/8115 +
|
| http://dbpedia.org/property/thesisYear
|
1975
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:URL +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:EngvarB +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:When +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:As_of +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Other_people +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/Florida_Institute_for_Human_&_Machine_Cognition +
, http://dbpedia.org/resource/University_of_Edinburgh +
, http://dbpedia.org/resource/University_of_Cambridge +
, University of Essex
, University of Rochester
, University of Illinois at Urbana-Champaign
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:1944_births +
, http://dbpedia.org/resource/Category:British_computer_scientists +
, http://dbpedia.org/resource/Category:Semantic_Web_people +
, http://dbpedia.org/resource/Category:Fellows_of_the_Cognitive_Science_Society +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_Edinburgh +
, http://dbpedia.org/resource/Category:Presidents_of_the_Association_for_the_Advancement_of_Artificial_Intelligence +
, http://dbpedia.org/resource/Category:British_expatriates_in_the_United_States +
, http://dbpedia.org/resource/Category:Florida_Institute_for_Human_and_Machine_Cognition_people +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/73214055 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Pat_Hayes?oldid=1054104943&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Pat_Hayes +
|
| http://xmlns.com/foaf/0.1/name
|
Pat Hayes
|
| owl:sameAs |
http://www4.wiwiss.fu-berlin.de/dblp/resource/person/101424 +
, http://yago-knowledge.org/resource/Pat_Hayes +
, http://viaf.org/viaf/73214055 +
, http://dbpedia.org/resource/Pat_Hayes +
, http://de.dbpedia.org/resource/Pat_Hayes +
, http://www.wikidata.org/entity/Q7143532 +
, https://dblp.org/pid/11/719 +
, http://data.bibliotheken.nl/id/thes/p126095450 +
, http://rdf.freebase.com/ns/m.07t847 +
, https://global.dbpedia.org/id/4tCWy +
|
| rdf:type |
http://dbpedia.org/class/yago/WikicatAlumniOfTheUniversityOfEdinburgh +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/WikicatBritishComputerScientists +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://umbel.org/umbel/rc/Scientist +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheAssociationForTheAdvancementOfArtificialIntelligence +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
|
| rdfs:comment |
Patrick „Pat“ Hayes (* 21. August 1944 in … Patrick „Pat“ Hayes (* 21. August 1944 in , Gloucestershire) ist ein britischer Informatiker, der sich mit Künstlicher Intelligenz (KI) befasst. Hayes studierte Mathematik an der Universität Cambridge und wurde 1973 bei Bernard Meltzer an der University of Edinburgh in Informatik promoviert (Semantic Trees: New Foundations for Automatic Theorem-Proving). Er war Professor für Informatik an der University of Essex, war Professor für Philosophie an der University of Illinois und Luce Professor für Kognitionswissenschaft an der University of Rochester.ssenschaft an der University of Rochester.
, 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.
|
| rdfs:label |
Pat Hayes
|
