A language for timeline-based planning

In order to represent planning problems, Artificial Intelligence planning languages are used to describe environment's conditions and operators which can lead to desired goals by generating a chain of actions based on these conditions and operators. Historically, several languages have been defined according to different planning paradigms. Most of these languages are often strongly related to specific planning systems and lack a clear formal semantics. A recent work defines a formal framework for timeline-based planning and scheduling providing a clear semantics for planning concepts needed to specify timeline-based planning problems. This abstract introduces ghost, a new specification language for timeline-based planning and scheduling based on such a framework. The main aim of ghost is to provide a concrete and compact specification language for timeline-based planning and scheduling domains and problems dealing also with uncertainty.