Flexible Timeline-Based Plan Verification (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• Flexible Timeline-Based Plan Verification (Contributo in atti di convegno) (literal)

Anno

• 2009-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-642-04617-9_7 (literal)

Alternative label

• Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E. (2009)
  Flexible Timeline-Based Plan Verification
  in 32nd Annual German Conference on AI (KI 2009), Paderborn, Germany, September 15-18, 2009
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E. (literal)

Pagina inizio

• 49 (literal)

Pagina fine

• 56 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://link.springer.com/chapter/10.1007/978-3-642-04617-9_7 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• KI 2009: Advances in Artificial Intelligence (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

• 5803 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In B. Mertsching, M. Hund, M. Zaheer Aziz (Eds.): KI 2009. Advances in Artificial Intelligence. Lecture Notes in Computer Science 5803. pp. 49-56. Springer, 2009 (literal)

Note

• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CESTA, FRATINI: ISTC-CNR FINZI: UNIVERSITA' NAPOLI \"FEDERICO II\" ORLANDINI: UNIV. ROMA TRE TRONCI: UNIV. ROMA \"LA SAPIENZA\" (literal)

Titolo

• Flexible Timeline-Based Plan Verification (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-3-642-04616-2 (literal)

Abstract

• Flexible temporal planning is a general technique that has demonstrated wide applications possibilities in heterogeneous domains. A key problem for widening applicability of these techniques is the robust connection between plan generation and execution. This paper describes how a model-checking verification tool, based on UPPAAL-TIGA, is suitable for verifying flexible temporal plans. Moreover, we further investigate a particular perspective, i.e., the one of verifying dynamic controllability before actual plan execution. (literal)

Editore

• Springer Berlin / Heildelberg (Editore)

Prodotto di

• Integrazione di ontologie e tecniche di programmazione a vincoli per la rappresentazione e gestione di workflow (INT.P02.013.001) (Modulo)
• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002) (Modulo)
• Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (SP.P01.007.001) (Modulo)
• Institute of cognitive sciences and technologies (ISTC) (Istituto)

Autore CNR

• ANDREA ORLANDINI (Unità di personale interno)
• SIMONE FRATINI (Unità di personale interno)
• AMEDEO CESTA (Persona)

Insieme di parole chiave

• Parole chiave di "Flexible Timeline-Based Plan Verification" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• AMEDEO CESTA (Persona)
• SIMONE FRATINI (Unità di personale interno)
• ANDREA ORLANDINI (Unità di personale interno)

Prodotto

• Institute of cognitive sciences and technologies (ISTC) (Istituto)
• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002) (Modulo)
• Integrazione di ontologie e tecniche di programmazione a vincoli per la rappresentazione e gestione di workflow (INT.P02.013.001) (Modulo)
• Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (SP.P01.007.001) (Modulo)

Editore di

• Springer Berlin / Heildelberg (Editore)

Insieme di parole chiave di

• Parole chiave di "Flexible Timeline-Based Plan Verification" (Insieme di parole chiave)