http://www.cnr.it/ontology/cnr/individuo/prodotto/ID312907
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
- Pagina fine
- 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
- 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
- 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