Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Alan_Bundy> ?p ?o }
- Alan_Bundy abstract "Alan Richard Bundy, CBE, FRS, FREng, FRSE, FBCS, FAAAI, FECCAI, FAISB, is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof-planning, the use of meta-level reasoning to guide proof search.".
- Alan_Bundy almaMater University_of_Leicester.
- Alan_Bundy award Association_for_Computing_Machinery.
- Alan_Bundy award Herbrand_Award.
- Alan_Bundy award IJCAI_Award_for_Research_Excellence.
- Alan_Bundy award Order_of_the_British_Empire.
- Alan_Bundy award Royal_Academy_of_Engineering.
- Alan_Bundy award Royal_Society.
- Alan_Bundy birthDate "1947-05-18".
- Alan_Bundy birthName "Alan Richard Bundy".
- Alan_Bundy birthPlace Isleworth.
- Alan_Bundy birthYear "1947".
- Alan_Bundy doctoralAdvisor Reuben_Goodstein.
- Alan_Bundy doctoralStudent Frank_van_Harmelen.
- Alan_Bundy doctoralStudent Lincoln_Wallen.
- Alan_Bundy field Artificial_intelligence.
- Alan_Bundy field Automated_reasoning.
- Alan_Bundy field Automated_theorem_proving.
- Alan_Bundy field Formal_methods.
- Alan_Bundy field Ontology_(information_science).
- Alan_Bundy residence Edinburgh.
- Alan_Bundy thumbnail Alan.Bundy.Image.jpg?width=300.
- Alan_Bundy wikiPageExternalLink The_metatheory_of_the_elementary_equatio.html?id=LKRsNwAACAAJ.
- Alan_Bundy wikiPageExternalLink bundy.
- Alan_Bundy wikiPageID "6320384".
- Alan_Bundy wikiPageLength "9803".
- Alan_Bundy wikiPageOutDegree "63".
- Alan_Bundy wikiPageRevisionID "689256803".
- Alan_Bundy wikiPageWikiLink 2012_New_Year_Honours.
- Alan_Bundy wikiPageWikiLink Artificial_intelligence.
- Alan_Bundy wikiPageWikiLink Association_for_Computing_Machinery.
- Alan_Bundy wikiPageWikiLink Association_for_the_Advancement_of_Artificial_Intelligence.
- Alan_Bundy wikiPageWikiLink Automated_reasoning.
- Alan_Bundy wikiPageWikiLink Automated_theorem_proving.
- Alan_Bundy wikiPageWikiLink British_Computer_Society.
- Alan_Bundy wikiPageWikiLink Category:1947_births.
- Alan_Bundy wikiPageWikiLink Category:Academics_of_the_University_of_Edinburgh.
- Alan_Bundy wikiPageWikiLink Category:Alumni_of_the_University_of_Leicester.
- Alan_Bundy wikiPageWikiLink Category:Artificial_intelligence_researchers.
- Alan_Bundy wikiPageWikiLink Category:British_computer_scientists.
- Alan_Bundy wikiPageWikiLink Category:Commanders_of_the_Order_of_the_British_Empire.
- Alan_Bundy wikiPageWikiLink Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence.
- Alan_Bundy wikiPageWikiLink Category:Fellows_of_the_British_Computer_Society.
- Alan_Bundy wikiPageWikiLink Category:Fellows_of_the_Institution_of_Engineering_and_Technology.
- Alan_Bundy wikiPageWikiLink Category:Fellows_of_the_Royal_Academy_of_Engineering.
- Alan_Bundy wikiPageWikiLink Category:Fellows_of_the_Royal_Society.
- Alan_Bundy wikiPageWikiLink Category:Fellows_of_the_Royal_Society_of_Edinburgh.
- Alan_Bundy wikiPageWikiLink Category:Fellows_of_the_SSAISB.
- Alan_Bundy wikiPageWikiLink Category:Living_people.
- Alan_Bundy wikiPageWikiLink Edinburgh.
- Alan_Bundy wikiPageWikiLink European_Coordinating_Committee_for_Artificial_Intelligence.
- Alan_Bundy wikiPageWikiLink FBCS.
- Alan_Bundy wikiPageWikiLink Fellow.
- Alan_Bundy wikiPageWikiLink Formal_methods.
- Alan_Bundy wikiPageWikiLink Frank_van_Harmelen.
- Alan_Bundy wikiPageWikiLink Herbrand_Award.
- Alan_Bundy wikiPageWikiLink IJCAI_Award_for_Research_Excellence.
- Alan_Bundy wikiPageWikiLink Informatics.
- Alan_Bundy wikiPageWikiLink Institution_of_Electrical_Engineers.
- Alan_Bundy wikiPageWikiLink Isleworth.
- Alan_Bundy wikiPageWikiLink Lincoln_Wallen.
- Alan_Bundy wikiPageWikiLink List_of_Fellows_of_the_Royal_Society_elected_in_2012.
- Alan_Bundy wikiPageWikiLink Ontology_(information_science).
- Alan_Bundy wikiPageWikiLink Order_of_the_British_Empire.
- Alan_Bundy wikiPageWikiLink Reuben_Goodstein.
- Alan_Bundy wikiPageWikiLink Royal_Academy_of_Engineering.
- Alan_Bundy wikiPageWikiLink Royal_Society.
- Alan_Bundy wikiPageWikiLink Royal_Society_of_Edinburgh.
- Alan_Bundy wikiPageWikiLink Science_and_Engineering_Research_Council.
- Alan_Bundy wikiPageWikiLink Society_for_the_Study_of_Artificial_Intelligence_and_the_Simulation_of_Behaviour.
- Alan_Bundy wikiPageWikiLink University_of_Edinburgh.
- Alan_Bundy wikiPageWikiLink University_of_Edinburgh_School_of_Informatics.
- Alan_Bundy wikiPageWikiLink University_of_Leicester.
- Alan_Bundy wikiPageWikiLinkText "Alan Bundy".
- Alan_Bundy wikiPageWikiLinkText "Alan Richard Bundy".
- Alan_Bundy wikiPageWikiLinkText "Professor Alan Bundy".
- Alan_Bundy almaMater University_of_Leicester.
- Alan_Bundy birthDate "1947-05-18".
- Alan_Bundy birthName "Alan Richard Bundy".
- Alan_Bundy birthPlace Isleworth.
- Alan_Bundy dateOfBirth "1947-05-18".
- Alan_Bundy doctoralAdvisor Reuben_Goodstein.
- Alan_Bundy doctoralStudents Frank_van_Harmelen.
- Alan_Bundy doctoralStudents Lincoln_Wallen.
- Alan_Bundy doctoralStudents "*".
- Alan_Bundy doctoralStudents "*Dave Barker-Plummer *Renato Busatto-Neto *Francisco Cantú *Simon Colton *Louise Dennis *Roberto Desimone *Ian Frank *Jason Gallagher *Jeremy Gow *Michael Harris *Jane Hesketh *Mateja Jamnik *Predrag Janičić *Ina Kraan *Christopher Mellish *Mary-Angela Papalaskari *Bernard Silver *".
- Alan_Bundy doctoralStudents "*Toby Walsh *Daniel Winterstein".
- Alan_Bundy field Artificial_intelligence.
- Alan_Bundy field Automated_reasoning.
- Alan_Bundy field Automated_theorem_proving.
- Alan_Bundy field Formal_methods.
- Alan_Bundy field Ontology_(information_science).
- Alan_Bundy field "*".
- Alan_Bundy name "Alan Bundy".
- Alan_Bundy name "Bundy, Alan".
- Alan_Bundy nationality "British".
- Alan_Bundy placeOfBirth "Isleworth".
- Alan_Bundy prizes Association_for_Computing_Machinery.
- Alan_Bundy prizes Herbrand_Award.
- Alan_Bundy prizes IJCAI_Award_for_Research_Excellence.