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.

PropertyValue
dbpedia-owl:Person/almaMater
dbpedia-owl:Person/birthDate
  • 1947-05-18 (xsd:date)
dbpedia-owl:Person/birthPlace
dbpedia-owl:Person/nationality
dbpedia-owl:Person/residence
dbpedia-owl:Scientist/doctoralAdvisor
dbpedia-owl:almaMater
dbpedia-owl:birthDate
  • 1947-05-18 (xsd:date)
dbpedia-owl:birthPlace
dbpedia-owl:doctoralAdvisor
dbpedia-owl:nationality
dbpedia-owl:residence
dbpedia-owl:thumbnail
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
dbpprop:birthDate
dbpprop:birthPlace
dbpprop:doctoralAdvisor
dbpprop:field
dbpprop:hasPhotoCollection
dbpprop:name
  • Alan Richard Bundy
dbpprop:nationality
dbpprop:reference
dbpprop:residence
dbpprop:wikiPageUsesTemplate
dbpprop:workInstitutions
rdf:type
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
skos:subject
foaf:depiction
foaf:name
  • Alan Richard Bundy
foaf:page
is dbpprop:disambiguates of
is owl:sameAs of