SMT-based Abstract Temporal Planning
Artur Niewiadomski, Wojciech Penczek · 2014
Abstract. An abstract planning is the first phase of the web service composition in the Planics framework. A user query specifies the initial and the expected state of a plan in request. The paper extends Planics with a module for temporal planning, by extending the user query with an LTLkX formula specifying temporal aspects of world transformations in a plan. Our solution comes together with an example, an implemen-tation, and experimental results.