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

Yuxiao Hu, Hector J. Levesque

Browse the full KR paper archive.