Hector J. Levesque

Intention is choice with commitment

Philip R. Cohen, Hector J. Levesque · Artificial Intelligence · 1990 · 1.9K citations

Public Health, Social Psychology, Decision Making +3

A new method for solving hard satisfiability problems

Bart Selman, Hector J. Levesque, David G. M. Mitchell · 1992 · 1.2K citations

Computing, Computer Science, Mathematics +14

GOLOG: A logic programming language for dynamic domains

Hector J. Levesque, Raymond Reiter, Yves Lespérance et al. · The Journal of Logic Programming · 1997 · 1K citations

Computing, Computer Science, Knowledge Representation +5

The Winograd Schema Challenge

Hector J. Levesque · 2011 · 865 citations

Computing, Computer Science, Computational Linguistics +12

Hard and easy distributions of SAT problems

David G. M. Mitchell, Bart Selman, Hector J. Levesque · National Conference on Artificial Intelligence · 1992 · 807 citations

Computing, Computer Science, Algorithms +8