About: Alan Bundy

Alan Bundy, 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.

Property	Value
dbpedia-owl:Person/almaMater	dbpedia:University_of_Leicester
dbpedia-owl:Person/birthDate	1947-05-18 (xsd:date)
dbpedia-owl:Person/birthPlace	dbpedia:Isleworth
dbpedia-owl:Person/nationality	dbpedia:United_Kingdom
dbpedia-owl:Person/residence	dbpedia:Edinburgh
dbpedia-owl:Scientist/doctoralAdvisor	dbpedia:Reuben_Goodstein
dbpedia-owl:almaMater	dbpedia:University_of_Leicester
dbpedia-owl:birthDate	1947-05-18 (xsd:date)
dbpedia-owl:birthPlace	dbpedia:Isleworth
dbpedia-owl:doctoralAdvisor	dbpedia:Reuben_Goodstein
dbpedia-owl:nationality	dbpedia:United_Kingdom
dbpedia-owl:residence	dbpedia:Edinburgh
dbpedia-owl:thumbnail	http://upload.wikimedia.org/wikipedia/en/thumb/7/7e/Replace_this_image_male.svg/200px-Replace_this_image_male.svg.png
dbpprop:abstract	Alan Bundy, 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.
dbpprop:almaMater	dbpedia:University_of_Leicester
dbpprop:birthDate	dbpedia:Alan_Bundy/birthDate/birth_date_and_age
dbpprop:birthPlace	dbpedia:Isleworth
dbpprop:doctoralAdvisor	dbpedia:Reuben_Goodstein
dbpprop:field	dbpedia:Automated_reasoning
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Alan_Bundy
dbpprop:name	Alan Richard Bundy
dbpprop:nationality	dbpedia:United_Kingdom
dbpprop:reference	http://homepages.inf.ed.ac.uk/bundy/ http://dream.inf.ed.ac.uk/
dbpprop:residence	dbpedia:Edinburgh
dbpprop:wikiPageUsesTemplate	dbpedia:Template:infobox_scientist
dbpprop:workInstitutions	dbpedia:University_of_Edinburgh
rdf:type	owl:Thing http://dbpedia.org/class/yago/FellowsOfTheRoyalSocietyOfEdinburgh dbpedia-owl:Person http://dbpedia.org/class/yago/AcademicsOfTheUniversityOfEdinburgh http://dbpedia.org/class/yago/FellowsOfTheInstitutionOfEngineeringAndTechnology dbpedia-owl:Scientist http://dbpedia.org/class/yago/ArtificialIntelligenceResearchers http://dbpedia.org/class/yago/FellowsOfTheAmericanAssociationForArtificialIntelligence http://dbpedia.org/class/yago/FellowsOfTheBritishComputerSociety
rdfs:comment	Alan Bundy, 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.
rdfs:label	Alan Bundy
owl:sameAs	http://www4.wiwiss.fu-berlin.de/dblp/resource/person/101226 freebase:Alan Bundy
skos:subject	dbpedia:Category:Fellows_of_the_American_Association_for_Artificial_Intelligence dbpedia:Category:Artificial_intelligence_researchers dbpedia:Category:Fellows_of_the_British_Computer_Society dbpedia:Category:Fellows_of_the_Royal_Society_of_Edinburgh dbpedia:Category:1947_births dbpedia:Category:Fellows_of_the_Institution_of_Engineering_and_Technology dbpedia:Category:Fellows_of_the_SSAISB dbpedia:Category:Living_people dbpedia:Category:Academics_of_the_University_of_Edinburgh
foaf:depiction	http://upload.wikimedia.org/wikipedia/en/7/7e/Replace_this_image_male.svg
foaf:name	Alan Richard Bundy
foaf:page	http://en.wikipedia.org/wiki/Alan_Bundy
is dbpprop:disambiguates of	dbpedia:Bundy
is owl:sameAs of	yago:Alan Bundy