Encoding planning problems in nonmonotonic logic programs (1997)

by Y Dimopoulos, B Nebel, J Koehler
Venue:Recent Advances in AI Planning, volume 1348 of Lecture Notes in Computer Science