H
Hector J. Levesque
Researcher at University of Toronto
Publications - 202
Citations - 20981
Hector J. Levesque is an academic researcher from University of Toronto. The author has contributed to research in topics: Situation calculus & Knowledge representation and reasoning. The author has an hindex of 59, co-authored 200 publications receiving 20218 citations. Previous affiliations of Hector J. Levesque include Fairchild Semiconductor International, Inc. & Canadian Institute for Advanced Research.
Papers
More filters
Book ChapterDOI
Chapter 11 – Defaults
TL;DR: This chapter talks about default reasoning in detail and in logical terms and also examines four different logical formalisms for it and considers the simple formalization of default reasoning.
Book ChapterDOI
Chapter 3 – Expressing Knowledge
TL;DR: In this article, the authors outline the basic principles of knowledge representation and decide an initial representation language for knowledge representation, and present a knowledge base (KB) that contains appropriate entailments in first-order logic (FOL).
Book ChapterDOI
Knowledge representation and reasoning1
TL;DR: In this paper, the authors discuss the knowledge representation and reasoning hypothesis, which states that intelligent behavior ultimately depends on explicitly represented knowledge, and propose a design strategy to explain behavior, or have it depend in a flexible way on what one is told, or isolate the assumptions that govern it, or to achieve any number of desirable traits.
Journal ArticleDOI
In Memory of Ray Reiter (1939-2002)
TL;DR: Raymond Hsieh left a legacy of groundbreaking, deep insights that have changed the course of AI.
Book ChapterDOI
Chapter 9 – Structured Descriptions
TL;DR: In this paper, the concepts such as predicates and entailment from first-order logic (FOL) are analyzed. But they do not provide any tools for dealing with compound predicates of this sort.