Representing the knowledge of a robot

GOLOG: A logic programming language for dynamic domains

1997 • 1,052 citations

A Formal Theory of Knowledge and Action

1984 • 522 citations

What is planning in the presence of sensing

1996 • 218 citations

A new deductive approach to planning

1990 • 118 citations

Adding knowledge to the action description language A

1997 • 44 citations

Let's plan it deductively!

1998 • 30 citations

Query Evaluation and Progression in AOL Knowledge Bases

1999 • 4 citations