Alan Bundy - CaLiGraph

Property	Value
rdf:type	Fellow of the Institution of Engineering and Technology Fellow of the Association for the Advancement of Artificial Intelligence Fellow of the European Association for Artificial Intelligence owl:NamedIndividual 1947 birth Academic of the University of Edinburgh Alumnus of the University of Leicester Artificial intelligence researcher Commander of the Order of the British Empire Fellow of the Association for Computing Machinery Fellow of the Royal Academy of Engineering Fellow of the Royal Society of Edinburgh Living person University of Edinburgh people Fellow of the Royal Society elected in 2012 British computer scientist Fellow of the British Computer Society Logician Fellow of the SSAISB
rdfs:label	Alan Bundy
owl:sameAs	dbr:Alan_Bundy
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Fellows_of_the_Institution_of_Engineering_and_Technology http://en.wikipedia.org/wiki/School_of_Informatics,_University_of_Edinburgh http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_elected_in_2012 http://en.wikipedia.org/wiki/IJCAI_Award_for_Research_Excellence http://en.wikipedia.org/wiki/2012_New_Year_Honours http://en.wikipedia.org/wiki/Category:1947_births http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Leicester http://en.wikipedia.org/wiki/Category:Commanders_of_the_Order_of_the_British_Empire http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Academy_of_Engineering http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/Category:Fellows_of_the_Royal_Society_of_Edinburgh http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/Category:Lists_of_fellows_of_the_Royal_Society_by_year http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/List_of_University_of_Edinburgh_people http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_(health_and_human_sciences) http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_A,_B,_C http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_D,_E,_F http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_G,_H,_I http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_J,_K,_L http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_M,_N,_O http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_P,_Q,_R http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_S,_T,_U,_V http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_W,_X,_Y,_Z http://en.wikipedia.org/wiki/List_of_fellows_of_the_Royal_Society_by_election_year http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/List_of_logicians http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence http://en.wikipedia.org/wiki/Category:Artificial_intelligence_researchers http://en.wikipedia.org/wiki/Category:Fellows_of_the_SSAISB http://en.wikipedia.org/wiki/Category:Fellows_of_the_European_Association_for_Artificial_Intelligence http://en.wikipedia.org/wiki/Herbrand_Award http://en.wikipedia.org/wiki/Category:British_computer_scientists http://en.wikipedia.org/wiki/Category:Fellows_of_the_British_Computer_Society
skos:prefLabel	Alan Bundy
skos:altLabel	Alan Richard Bundy Professor Alan Bundy
clgo:academicDiscipline	Computer science Automated reasoning Artificial intelligence Automated theorem proving Formal methods Ontology (information science)
clgo:almaMater	University of Leicester
clgo:award	AAAI Fellow ACM Fellow Association for the Advancement of Artificial Intelligence Herbrand Award IJCAI Award for Research Excellence BCS, The Chartered Institute for IT
clgo:birthDate	1947-05-18
clgo:birthName	Alan Richard Bundy
clgo:birthPlace	Edinburgh Isleworth
clgo:birthYear	1947
clgo:doctoralAdvisor	Reuben Goodstein
clgo:doctoralStudent	Martha Palmer Lincoln Wallen Toby Walsh Simon Colton Frank van Harmelen
clgo:location	Scotland
clgo:type	Learned society
is clgo:academicAdvisor of	Frank van Harmelen
is clgo:doctoralAdvisor of	Martha Palmer Toby Walsh
is clgo:doctoralStudent of	Reuben Goodstein

About: clgr:Alan_Bundy