His research is in the area of knowledge representation and reasoning in artificial intelligence. On the representation side, he has worked on the formalization of a number of concepts pertaining to artificial and natural agents including belief, goals, intentions, ability, and the interaction between knowledge, perception and action. On the reasoning side, his research mainly concerns how automated reasoning can be kept computationally tractable, including the use of greedy local search methods. Hector Levesque has published over 60 research papers, and is the co-author of two books. Four of these papers have won best paper awards of the American Association of Artificial Intelligence in 1984, 1992, and 2006, and two other papers won similar awards at other conferences. In 2004, one of the 1984 papers was awarded the Classic Paper award of the AAAI, and the other was given an honourable mention. In 2006, a paper written in 1990 was given the inaugural Influential Paper Award by the International Foundation of Autonomous Agents and Multi-Agent Systems. Levesque was elected to the Executive Council of the AAAI, was a co-founder of the International Conference on Principles of Knowledge Representation and Reasoning, and is on the editorial board of five journals, including the journal Artificial Intelligence. In 2001, Levesque was the Conference Chair of the International Joint Conference on Artificial Intelligence, and served as President of the Board of Trustees of IJCAI from 2001 to 2003. In 1985, Levesque became the first non-American to receive the Computers and Thought Award given by IJCAI. He was the recipient of an E.W.R. Steacie Memorial Fellowship from the Natural Sciences and Engineering Research Council of Canada for 1990–91. He is a founding Fellow of the AAAI and was a Fellow of the Canadian Institute for Advanced Research from 1984 to 1995. In 2006, Levesque was elected to the Royal Society of Canada. In 2011, Hector Levesque proposed a new way to test artificial intelligence called Winograd Schemas Challenge as a possible alternative of the Turing test during AAAI Spring Symposium. The idea was written in his article "The Winograd Schemas Challenge". His colleagues include Ernest Davis and Leora Morgenstern.
