Abstracting Situation Calculus Action Theories

Open in new window