Return to Article Details
Encoding Lifted Classical Planning in Propositional Logic
Download
Download PDF