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 ⓘ
IJCAI Award for Research Excellence ⓘ
citizenship Canada ⓘ
countryOfEmployment Canada ⓘ
doctoralAdvisor Patrick Henry Winston ⓘ
linked to: Patrick Winston
educatedAt Massachusetts Institute of Technology ⓘ
employer University of Toronto ⓘ
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 ⓘ
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 ⓘ
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” ⓘ
“Thinking as Computation” ⓘ
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 ⓘ
workLocation Toronto ⓘ

How these facts were elicited

Referenced by (1)

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