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
Journal ArticleDOI
Intention is choice with commitment
TL;DR: In this article, the authors explore principles governing the rational balance among an agent's beliefs, goals, actions, and intentions, and show how agents can avoid intending all the foreseen side-effects of what they actually intend.
Proceedings Article
A new method for solving hard satisfiability problems
TL;DR: A greedy local search procedure called GSAT is introduced for solving propositional satisfiability problems and its good performance suggests that it may be advantageous to reformulate reasoning tasks that have traditionally been viewed as theorem-proving problems as model-finding tasks.
Journal ArticleDOI
GOLOG: A logic programming language for dynamic domains
TL;DR: A new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world is proposed.
Proceedings Article
Hard and easy distributions of SAT problems
TL;DR: It is shown that by using the right distribution of instances, and appropriate parameter values, it is possible to generate random formulas that are hard, that is, for which satisfiability testing is quite difficult.
Book
Knowledge Representation and Reasoning
TL;DR: This landmark text takes the central concepts of knowledge representation developed over the last 50 years and illustrates them in a lucid and compelling way, and offers the first true synthesis of the field in over a decade.