Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Alan_Bundy> ?p ?o }
- Alan_Bundy prizes Order_of_the_British_Empire.
- Alan_Bundy prizes Royal_Academy_of_Engineering.
- Alan_Bundy prizes Royal_Society.
- Alan_Bundy prizes "*".
- Alan_Bundy prizes "Fellow *".
- Alan_Bundy residence Edinburgh.
- Alan_Bundy shortDescription "British artificial intelligence researcher".
- Alan_Bundy thesisTitle "The Metatheory of the Elementary Equation Calculus".
- Alan_Bundy thesisUrl The_metatheory_of_the_elementary_equatio.html?id=LKRsNwAACAAJ.
- Alan_Bundy thesisYear "1971".
- Alan_Bundy website bundy.
- Alan_Bundy wikiPageUsesTemplate Template:Authority_control.
- Alan_Bundy wikiPageUsesTemplate Template:Birth_date_and_age.
- Alan_Bundy wikiPageUsesTemplate Template:Centred_pull_quote.
- Alan_Bundy wikiPageUsesTemplate Template:EngvarB.
- Alan_Bundy wikiPageUsesTemplate Template:For.
- Alan_Bundy wikiPageUsesTemplate Template:Infobox_scientist.
- Alan_Bundy wikiPageUsesTemplate Template:Persondata.
- Alan_Bundy wikiPageUsesTemplate Template:Reflist.
- Alan_Bundy wikiPageUsesTemplate Template:Use_dmy_dates.
- Alan_Bundy workInstitutions University_of_Edinburgh.
- Alan_Bundy description "British artificial intelligence researcher".
- Alan_Bundy description "British artificial intelligence researcher".
- Alan_Bundy subject Category:1947_births.
- Alan_Bundy subject Category:Academics_of_the_University_of_Edinburgh.
- Alan_Bundy subject Category:Alumni_of_the_University_of_Leicester.
- Alan_Bundy subject Category:Artificial_intelligence_researchers.
- Alan_Bundy subject Category:British_computer_scientists.
- Alan_Bundy subject Category:Commanders_of_the_Order_of_the_British_Empire.
- Alan_Bundy subject Category:Fellows_of_the_Association_for_the_Advancement_of_Artificial_Intelligence.
- Alan_Bundy subject Category:Fellows_of_the_British_Computer_Society.
- Alan_Bundy subject Category:Fellows_of_the_Institution_of_Engineering_and_Technology.
- Alan_Bundy subject Category:Fellows_of_the_Royal_Academy_of_Engineering.
- Alan_Bundy subject Category:Fellows_of_the_Royal_Society.
- Alan_Bundy subject Category:Fellows_of_the_Royal_Society_of_Edinburgh.
- Alan_Bundy subject Category:Fellows_of_the_SSAISB.
- Alan_Bundy subject Category:Living_people.
- Alan_Bundy hypernym Professor.
- Alan_Bundy type Agent.
- Alan_Bundy type List.
- Alan_Bundy type Person.
- Alan_Bundy type Scientist.
- Alan_Bundy type Person.
- Alan_Bundy type Commander.
- Alan_Bundy type List.
- Alan_Bundy type Member.
- Alan_Bundy type Scientist.
- Alan_Bundy type Winner.
- Alan_Bundy type Agent.
- Alan_Bundy type NaturalPerson.
- Alan_Bundy type Thing.
- Alan_Bundy type Q215627.
- Alan_Bundy type Q5.
- Alan_Bundy type Q901.
- Alan_Bundy type Person.
- Alan_Bundy comment "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 label "Alan Bundy".
- Alan_Bundy sameAs Q4706277.
- Alan_Bundy sameAs m.0g0x3w.
- Alan_Bundy sameAs Q4706277.
- Alan_Bundy wasDerivedFrom Alan_Bundy?oldid=689256803.
- Alan_Bundy depiction Alan.Bundy.Image.jpg.
- Alan_Bundy givenName "Alan".
- Alan_Bundy homepage bundy.
- Alan_Bundy isPrimaryTopicOf Alan_Bundy.
- Alan_Bundy name "Alan Bundy".
- Alan_Bundy name "Bundy, Alan".
- Alan_Bundy surname "Bundy".