Planning as Tabled Logic Programming

Neng-Fa Zhou, Roman Bartak, Agostino Dovier

This paper describes Picat's planner, its implementation, and planning models for several domains used in International Planning Competition (IPC) 2014. Picat's planner is implemen…