Sciweavers

Share
TABLEAUX
2005
Springer

Pdk: The System and Its Language

8 years 9 months ago
Pdk: The System and Its Language
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that finding solution plans is reduced to model search. The model search mechanism is based on temporal tableaux. The planning language accepted by the system allows one to specify extra problem dependent information, that can be of help both in reducing the search space and finding plans of better quality.
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where TABLEAUX
Authors Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni
Comments (0)
books