UCPOP: A Sound, Complete, Partial Order Planner for ADL.

J. Scott Penberthy, Daniel S. Weld

Browse the full KR paper archive.