Reasoning about State Constraints in the Situation Calculus

Open in new window