Foundations of the Situation Calculus

GOLOG: A logic programming language for dynamic domains

1997 • 1,052 citations

A guide to completeness and complexity for modal logics of knowledge and belief

1992 • 849 citations

The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression

1991 • 728 citations

Logics of Time and Computation

1987 • 593 citations

A Formal Theory of Knowledge and Action

1984 • 522 citations

The interactive museum tour-guide robot

1998 • 500 citations

ADL: exploring the middle ground between STRIPS and the situation calculus

1989 • 486 citations

State Constraints Revisited

1994 • 240 citations

Some contributions to the metatheory of the situation calculus

1999 • 208 citations

Natural actions, concurrency and continuous time in the situation calculus

1996 • 159 citations

Temporal reasoning in the situation calculus

1994 • 147 citations

Proving properties of states in the situation calculus

1993 • 140 citations

Denotational Semantics

1977 • 136 citations

Theorem-Proving by Resolution as a Basis for Question-Answering Systems

2010 • 90 citations

Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus

1997 • 85 citations

On specifying database updates

1995 • 77 citations

A simple solution to the Yale shooting problem

1989 • 65 citations

AOL: A logic of Acting, Sensing, Knowing, and Only Knowing.

1998 • 56 citations

Sequential, Temporal GOLOG.

1998 • 43 citations

A Situation Calculus Approach to Modeling and Programming Agents

1999 • 35 citations

Towards a formal account of diagnostic problem-solving

1997 • 13 citations

Modeling complex systems in the situation calculus: a case study using the dagstuhl steam boiler problem

1996 • 5 citations