An abductive event calculus planner (0)

by M SHANAHAN
Venue:The Journal of Logic Programming