The logic of dynamic systems

Some Philosophical Problems from the Standpoint of Artificial Intelligence

1981 • 3,219 citations

Representing action and change by logic programs

1993 • 524 citations

Nonmonotonic logic and temporal projection

1987 • 451 citations

The uses of plans

1992 • 176 citations

Concurrent actions in the situation calculus

1992 • 69 citations

Representing concurrent actions in extended logic programming

1993 • 65 citations

Reasoning Agents in a Dynamic World: The Frame Problem

1993 • 59 citations

Computing change and specificity with equational logic programs

1995 • 33 citations

Equational Logic Programming, Actions, and Change

1992 • 27 citations

Representing Actions in Equational Logic Programming

1994 • 27 citations

Restricted monotonicity

1993 • 21 citations

Actions and specificity

1993 • 20 citations

Things that change by themselves

1989 • 13 citations

Prepositional state event logic

2005 • 12 citations

Deductive plan generation

1994 • 1 citations