Verification of action theories in ASP: A complete bounded model checking approach

Risultato della ricerca: Contributo su rivistaArticolo da conferenzapeer review

Fingerprint

Entra nei temi di ricerca di 'Verification of action theories in ASP: A complete bounded model checking approach'. Insieme formano una fingerprint unica.

Keyphrases

Computer Science