Default reasoning, nonmonotonic logics, and the frame problem
A temporal logic for reasoning about processes and plans