| Lingua originale | Inglese |
|---|---|
| Stato di pubblicazione | Pubblicato - 2012 |
Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach
Laura GIORDANO, A. MARTELLI, Daniele THESEIDER DUPRE'
Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno