A Correctness Result for Reasoning about One-Dimensional Planning Problems.

Yuxiao Hu, Hector J. Levesque

Browse the full IJCAI paper archive.