A formal account of planning with flexible timelines (Contributo in atti di convegno)

Type
Label
  • A formal account of planning with flexible timelines (Contributo in atti di convegno) (literal)
Anno
  • 2014-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/TIME.2014.27 (literal)
Alternative label
  • Cialdea Mayer, Marta; Orlandini, Andrea; Umbrico, Alessandro (2014)
    A formal account of planning with flexible timelines
    in 21st International Symposium on Temporal Representation and Reasoning (TIME), Verona, Italy, 8-10 September 2014
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Cialdea Mayer, Marta; Orlandini, Andrea; Umbrico, Alessandro (literal)
Pagina inizio
  • 37 (literal)
Pagina fine
  • 46 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.scopus.com/record/display.url?eid=2-s2.0-84909590208&origin=inward (literal)
Note
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Universita degli Studi Roma Tre; Consiglio Nazionale delle Ricerche (literal)
Titolo
  • A formal account of planning with flexible timelines (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 9781479942275 (literal)
Abstract
  • 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 (P&S) has demonstrated to be successful in a number of concrete applications, such as, for instance, autonomous space systems. A flexible timeline describes an envelope of possible solutions which can be exploited by an executive system for robust on-line execution. A remarkable research effort has been dedicated to design, build and deploy software environments, like EUROPA, ASPEN, and APSI-TRF, for the synthesis of timeline-based P&S applications. Several attempts have also been made to characterize the concept of timelines. Nevertheless, a formal characterization of flexible timelines and plans is still missing. This paper presents a formal account of flexible timelines aiming at providing a general semantics for related planning concepts such as domains, goals, problems, constraints and flexible plans. Some basic properties of the defined concepts are also stated and proved. A simple running example inspired by a real world planning domain is exploited to illustrate the proposed formal notions. Finally, a planning tool, called Extensible Planning and Scheduling Library (EPSL), is briefly presented, which is able to generate flexible plans that are compliant with the given semantics. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it