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