Hector Levesque

E437503

Hector Levesque is a prominent Canadian computer scientist and artificial intelligence researcher known for his influential work on knowledge representation, reasoning, and the foundations of AI.

All labels observed (1)

Label Occurrences
Hector Levesque canonical 1

How this entity was disambiguated

Statements (44)

Predicate Object
instanceOf academic
artificial intelligence researcher
computer scientist
academicDegree PhD in computer science
awardReceived AAAI Classic Paper Award NERFINISHED
IJCAI Award for Research Excellence NERFINISHED
citizenship Canada
countryOfEmployment Canada NERFINISHED
doctoralAdvisor Patrick Henry Winston NERFINISHED
educatedAt Massachusetts Institute of Technology
employer University of Toronto NERFINISHED
fieldOfWork artificial intelligence
automated reasoning
foundations of artificial intelligence
knowledge representation
genre scientific literature
hasAcademicDiscipline computer science
hasResearchInterest AI evaluation and benchmarks
cognitive robotics
common-sense reasoning
knowledge bases
nonmonotonic reasoning
influenced development of logic-based AI
research on common-sense reasoning in AI
knownFor Winograd Schema Challenge NERFINISHED
critique of the traditional Turing Test
formal approaches to knowledge representation
work on cognitive robotics
work on reasoning about action and change
languageOfWorkOrName English
memberOf Association for the Advancement of Artificial Intelligence NERFINISHED
nationality Canadian
notableIdea use of Winograd schemas to test machine understanding
notableWork research on belief and intention in AI agents
research on knowledge representation formalisms
“Common Sense, the Turing Test, and the Quest for Real AI” NERFINISHED
“Thinking as Computation” NERFINISHED
occupation author
researcher
university professor
positionHeld faculty member in Department of Computer Science, University of Toronto
professor at University of Toronto
proposed Winograd Schema Challenge NERFINISHED
workLocation Toronto NERFINISHED

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.