Validation and Verification Issues in a Timeline-based Planning System

Publication type: 
Contributo in atti di convegno
Author or Creator: 
Cesta
A.
Finzi
Fratini
S.
Orlandini
Tronci
E.
Source: 
KEPS-08. ICAPS Workshop on Knowledge Engineering for Planning and Scheduling, Sidney (Australia), 2008
Date: 
2008
Resource Identifier: 
http://www.cnr.it/prodotto/i/93681