Planning for real world problems with explicit temporal constraints is a challenging problem.
Among several approaches, the use of flexible timelines in Planning and Scheduling has …

The timeline-based approach to planning represents an effective alternative to classical
planning for complex domains requiring the use of both temporal reasoning and scheduling …

Deals with the problem of managing quantitative temporal networks without disjunctive
constraints. This problem is known as the" simple temporal problem". Dynamic management …

This paper postulates a rigorous method for the construction of classical planning domain
models. We describe, with the help of a non-trivial example, a tool-supported method for …

This paper describes aspects of a project aiming at creating a general, flexible and reusable
software architecture to address planning problems in space missions. It introduces recent …

In this article we address the problem of realizing a service-providing reasoning
infrastructure for pro-active human assistance in intelligent environments. We propose SAM …

Automated planning and scheduling technology enables a new class of autonomous
spacecraft. We describe our use of symbolic AI in planning systems, provide an overview of …

This paper presents an approach to artificial intelligence planning based on linear temporal
logic (LTL). A simple and easy-to-use planning language is described, Planning Domain …

This article elaborates around a recent effort to build a planning system that helps human
mission planning in a space mission. Specifically, the article describes the steps that brought …

A planner and/or a scheduler consists not only in an outstanding algorithm but also in a
significant piece of software that identify it as a “system”. This is true both in case of applied …