Situation Calculus Specifications for Event Calculus Logic Programs.

Rob Miller

Browse the full LPNMR paper archive.