Hector Levesque

Hector Levesque: University of Toronto: BS in computer science (1973) University of Toronto: PhD in computer science (1981), supervised by Ray Reiter 1981...