Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency (2000)

by T. L. Mccluskey, J.M. Porteous
Venue:Artificial Intelligence