|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:University_of_Edinburgh
University of Leicester
|
|
gptkbp:awardReceived
|
gptkb:Fellow_of_the_Royal_Society
gptkb:Fellow_of_the_Association_for_the_Advancement_of_Artificial_Intelligence
gptkb:IJCAI_Award_for_Research_Excellence
Fellow of the Royal Academy of Engineering
|
|
gptkbp:birthYear
|
1947
|
|
gptkbp:doctoralAdvisor
|
gptkb:Rod_Burstall
|
|
gptkbp:employer
|
gptkb:University_of_Edinburgh
|
|
gptkbp:field
|
gptkb:artificial_intelligence
automated reasoning
mathematical reasoning
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Alan Bundy
|
|
gptkbp:memberOf
|
gptkb:Association_for_the_Advancement_of_Artificial_Intelligence
gptkb:Royal_Academy_of_Engineering
gptkb:Royal_Society
gptkb:Royal_Society_of_Edinburgh
|
|
gptkbp:nationality
|
British
|
|
gptkbp:notableWork
|
proof planning
rippling (reasoning technique)
|
|
gptkbp:occupation
|
gptkb:computer_scientist
gptkb:professor
|
|
gptkbp:bfsParent
|
gptkb:Frank_van_Harmelen
gptkb:Automated_Theorem_Proving
gptkb:Simon_Colton
|
|
gptkbp:bfsLayer
|
7
|