scispace - formally typeset
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.