Pubblicazioni
Autori: | Laura Giordano |
Alberto Martelli | |
Daniele Theseider Dupré | |
Titolo: | Reasoning about actions with Temporal Answer Sets |
Apparso su: | THEORY AND PRACTICE OF LOGIC PROGRAMMING |
Pagine: | -- |
Anno: | 2012 |
Tipo Pubblicazione: | Paper on International Journal |
URL: | http://dx.medra.org/10.1017/S1471068411000639 |