Pat Hayes
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.
Wikipage disambiguates
Wikipage redirect
Alan Turing Centenary ConferenceBernard Meltzer (computer scientist)Charles Leonard HamblinChinese roomCycFlorida Institute for Human and Machine CognitionFrame problemHayes (surname)Henry KautzHistory of the Scheme programming languageIndeterminacy in concurrent computationList of University of Edinburgh peopleLogic programmingNational Catholic Welfare CouncilNicola GuarinoPat Hayes (disambiguation)Patrick HayesPatrick J. HayesPlanner (programming language)Web resource
Link from a Wikipage to another Wikipage
primaryTopic
Pat Hayes
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.
has abstract
Patrick „Pat“ Hayes (* 21. Aug ...... n und restauriert alte Häuser.
@de
academic discipline
award
birth date
1944-08-21
birth name
Patrick John Hayes
@en
birth place
influenced by
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
995,085,693
Link from a Wikipage to another Wikipage
birth date
1944-08-21
birth name
Patrick John Hayes
@en
birth place
Newent, Gloucestershire, UK
@en
citizenship
UK
@en
doctoral advisor
Bernard Meltzer
@en
education
field
influences
known for
Naive Physics Manifesto
@en
name
Pat Hayes
@en
prizes
AAAI Fellow
@en
residence
US
@en
thesis title
Semantic trees: new foundations for automatic theorem proving
@en
thesis url
thesis year
wikiPageUsesTemplate
work institution
University of Essex
@en
University of Illinois at Urbana-Champaign
@en
University of Rochester
@en
subject
hypernym
sameAs
comment
Patrick „Pat“ Hayes (* 21. Aug ...... n der University of Rochester.
@de
label
Pat Hayes
@de
Pat Hayes
@en
wasDerivedFrom
isPrimaryTopicOf
name
Pat Hayes
@en