Data Portal @ linkeddatafragments.org

Matches in DBpedia 2014 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 Herbrand_Award.
• Alan_Bundy award IJCAI_Award_for_Research_Excellence.
• Alan_Bundy award Order_of_the_British_Empire.
• 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 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 nationality United_Kingdom.
• Alan_Bundy residence Edinburgh.
• Alan_Bundy thumbnail Alan.Bundy.Image.jpg?width=300.
• Alan_Bundy viafId "12460904".
• Alan_Bundy wikiPageExternalLink The_metatheory_of_the_elementary_equatio.html?id=LKRsNwAACAAJ.
• Alan_Bundy wikiPageExternalLink bundy.
• Alan_Bundy wikiPageID "6320384".
• Alan_Bundy wikiPageRevisionID "602891434".
• 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 "*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 *Frank van Harmelen *Lincoln Wallen *Toby Walsh *Daniel Winterstein".
• Alan_Bundy field "*Automated reasoning *Automated theorem proving *Artificial intelligence *Formal methods *Ontology evolution".
• Alan_Bundy hasPhotoCollection Alan_Bundy.
• Alan_Bundy name "Bundy, Alan".
• Alan_Bundy name "Professor Alan Bundy".
• Alan_Bundy nationality United_Kingdom.
• Alan_Bundy placeOfBirth Isleworth.
• Alan_Bundy prizes "* FRS * IJCAI Award * CBE * Herbrand Award".
• 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 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 type Academician109759069.
• Alan_Bundy type AcademicsOfTheUniversityOfEdinburgh.
• Alan_Bundy type Adult109605289.
• Alan_Bundy type AlumniOfTheUniversityOfLeicester.
• Alan_Bundy type Alumnus109786338.
• Alan_Bundy type ArtificialIntelligenceResearchers.
• Alan_Bundy type Associate109816771.
• Alan_Bundy type BritishComputerScientists.
• Alan_Bundy type CausalAgent100007347.
• Alan_Bundy type Colleague109935990.
• Alan_Bundy type CommandersOfTheOrderOfTheBritishEmpire.
• Alan_Bundy type CommandingOfficer109941964.
• Alan_Bundy type ComputerScientist109951070.
• Alan_Bundy type ComputerUser109951274.
• Alan_Bundy type Educator110045713.
• Alan_Bundy type FellowsOfTheAssociationForTheAdvancementOfArtificialIntelligence.
• Alan_Bundy type FellowsOfTheBritishComputerSociety.
• Alan_Bundy type FellowsOfTheInstitutionOfEngineeringAndTechnology.
• Alan_Bundy type FellowsOfTheRoyalSociety.
• Alan_Bundy type FellowsOfTheRoyalSocietyOfEdinburgh.
• Alan_Bundy type FellowsOfTheSSAISB.
• Alan_Bundy type Intellectual109621545.
• Alan_Bundy type LivingPeople.
• Alan_Bundy type LivingThing100004258.
• Alan_Bundy type MilitaryOfficer110317007.
• Alan_Bundy type Object100002684.
• Alan_Bundy type Organism100004475.
• Alan_Bundy type Peer109626238.
• Alan_Bundy type Person100007846.
• Alan_Bundy type PhysicalEntity100001930.
• Alan_Bundy type Professional110480253.
• Alan_Bundy type ResearchWorker110523076.
• Alan_Bundy type Scholar110557854.
• Alan_Bundy type Scientist110560637.
• Alan_Bundy type Serviceman110582746.
• Alan_Bundy type SkilledWorker110605985.
• Alan_Bundy type Whole100003553.
• Alan_Bundy type Worker109632518.
• Alan_Bundy type YagoLegalActor.

• next