Verification of action theories in ASP: a complete Bounded Model Checking approach
Contributo in Atti di convegno
Data di Pubblicazione:
2012
Tipologia CRIS:
04B-Conference paper in rivista
Elenco autori:
L. Giordano; A. Martelli; D. Theseider Dupré
Link alla scheda completa:
Pubblicato in: