Ontify
⌘
S
⌘
S
Pat Hayes - Ontify
Share
Pat Hayes
Patrick Hayes
Computer science researcher in artificial intelligence.
Wikipedia | Pat Hayes
Statements about
Pat Hayes
External Pages About Pat Hayes
ISNI
Google Scholar Author
X (Twitter) Username
Scopus Author
Educated At
University of Edinburgh
University of Cambridge
Kingsbury Green Academy
Date of Birth
8/21/1944
Place of Birth
Newent
Sex or Gender
Male
Instance Of
Human
Occupation
Computer Scientist
Painter
University Teacher
Given Name
Patrick
Member Of
Association for the Advancement of Artificial Intelligence
Country of Citizenship
Family Name
Academic Thesis
Employer
Award Received
Influenced By
Doctoral Advisor
United States
Hayes
Semantic Trees : New Foundations for Automatic Theorem-Proving
Florida Institute for Human and Machine Cognition
University of Essex
University of Illinois Urbana–Champaign
University of Rochester
Beckman Institute for Advanced Science and Technology
(1992 - 1996)
Subject Has Role
:
Research Professor
Start Time
:
1992
End Time
:
1996
AAAI Fellow
(1990)
Point in Time
:
1990
CSS Fellow
John McCarthy
Bernard Meltzer
Academic Degree
:
Doctor of Philosophy
Academic Degree
:
Bachelor of Arts
Wikidata
