Transforming Situation Calculus Action Theories for Optimised Reasoning.

Christopher James Ewin, Adrian R. Pearce, Stavros Vassos

Browse the full KR paper archive.