Transforming Situation Calculus Action Theories for Optimised Reasoning

Open in new window