Salvatore LA TORRE | Publications
Salvatore LA TORRE Publications
| 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 | |
| Show it in Product Database (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 | |
| Show it in Product Database (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 | |
| Show it in Product Database (IRIS) |
