• Publications
  • Influence
Intention is Choice with Commitment
TLDR
This paper provides a logical analysis of the concept of intention as composed of two more basic concepts, choice (or goal) and commitment. Expand
  • 2,213
  • 169
  • PDF
GOLOG: A Logic Programming Language for Dynamic Domains
TLDR
This paper proposes 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. Expand
  • 1,234
  • 153
A New Method for Solving Hard Satisfiability Problems
TLDR
We introduce a greedy local search procedure called GSAT for solving propositional satisfiability problems. Expand
  • 1,476
  • 149
  • PDF
The Winograd Schema Challenge
In this paper, we present an alternative to the Turing Test that has some conceptual and practical advantages. Like the original, it involves responding to typed English sentences, andExpand
  • 420
  • 91
  • PDF
Hard and Easy Distributions of SAT Problems
TLDR
We show 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. Expand
  • 1,059
  • 80
ConGolog, a concurrent programming language based on the situation calculus
TLDR
An approach to agent control based on concurrent program execution is considered. Expand
  • 591
  • 53
  • PDF
A Logic of Implicit and Explicit Belief
TLDR
In this paper, we point out deficiencies in current semantic treatments of knowledge and belief and suggest a new analysis in the form of a logic that avoids these shortcomings and is also more viable computationally. Expand
  • 660
  • 39
  • PDF
All I Know: A Study in Autoepistemic Logic
  • H. Levesque
  • Mathematics, Computer Science
  • Artif. Intell.
  • 3 March 1990
TLDR
We extend a logic of belief so that it is possible to say that only a certain proposition (or finite set of them) is believed using only the classical notions of logic (satisfiability, validity, implication). Expand
  • 431
  • 34
On Acting Together
TLDR
Joint action by a team does not consist merely of simultaneous and coordinated individual actions; to act together, a team must be aware of and care about the status of the group effort as a whole. Expand
  • 616
  • 33
  • PDF
Generating Hard Satisfiability Problems
TLDR
We show 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. Expand
  • 286
  • 32