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.