The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression

Open in new window