Abstraction in Situation Calculus Action Theories

Open in new window