Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03475157n
Noun Named Entity
EL
No term available
EN
Alan Richard Bundy 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. Wikipedia
Relations
Sources
IS A
άνθρωπος
AWARD RECEIVED
EN
Herbrand Award
EN
IJCAI Award for Research Excellence
Εταίρος της Βασιλικής Εταιρίας
εταίρος της Βασιλικής Εταιρείας του Εδιμβούργου
EN
Fellow of the Royal Academy of Engineering
+3 relations
COUNTRY OF CITIZENSHIP
Ηνωμένο Βασίλειο
DOCTORAL ADVISOR
EN
Reuben Goodstein
DOCTORAL STUDENT
EN
Toby Walsh
EN
Simon Colton
EN
Frank van Harmelen
EN
Predrag Janičić
EN
Lincoln Wallen
EDUCATED AT
Πανεπιστήμιο του Λέστερ
EMPLOYER
Πανεπιστήμιο του Εδιμβούργου
GIVEN NAME
Αλάν
LANGUAGES SPOKEN, WRITTEN OR SIGNED
αγγλικά
MEMBER OF
Βασιλική Εταιρεία
EN
Association for the Advancement of Artificial Intelligence
Βασιλική Εταιρεία του Εδιμβούργου
OCCUPATION
επιστήμονας υπολογιστών
διδάσκων πανεπιστημίου
PLACE OF BIRTH
Άιζελγουορθ
RESIDENCE
Εδιμβούργο
SEX OR GENDER
άνδρας

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License