Alan_Bundy (original) (raw)

An Entity of Type : personne, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

Alan Richard Bundy, né le 18 mai 1947, récompensé par un CBE, Fellow of the Royal Society, FRSE, (en), est professeur à l'École des sciences informatiques de l'Université d'Édimbourg, connu pour ses contributions au raisonnement automatisé, en particulier à la planification des preuves, l'utilisation du raisonnement au méta-niveau pour guider la recherche de preuves .