Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2021 | |
| Contributo in volume (Capitolo o Saggio) | |
| Automated Planning Through Program Verification. In Dario Della Monica, Gian Luca Pozzato, Enrico Scala Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis Pag.13-17 CEUR. | |
| LA TORRE, Salvatore; Parlato, Gennaro | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-85118200185 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2020 | |
| Contributo in volume (Capitolo o Saggio) | |
| A Fixed-point Model-checker for BDI Logics over Finite-state Worlds. In Riccardo De Benedictis, Luca Geretti and Andrea Micheli Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020 Pag.47-52 CEUR-WS.org. | |
| LA TORRE, Salvatore; Parlato, Gennaro | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-85099335502 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2011 | |
| Contributo in volume (Capitolo o Saggio) | |
| Winning CaRet Games with Modular Strategies. In Fabio Fioravanti CILC 2011 26th Italian Conference on Computational Logic Pag.327-331 ISSN:1613-0073. | |
| DE CRESCENZO, Ilaria; LA TORRE, Salvatore | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-84883399932 | |
| Visualizza sul Database dei Prodotti (IRIS) |
