Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach.

Risultato della ricerca: Contributo alla conferenzaContributo in Atti di Convegnopeer review

Lingua originaleItalian
Stato di pubblicazionePubblicato - 1 gen 2012

Cita questo