Salvatore LA TORRE | Publications
Salvatore LA TORRE Publications
| 2020 | |
| Articolo in rivista | |
| Reachability of scope-bounded multistack pushdown systems INFORMATION AND COMPUTATION. Vol. 275. Pag.1-25 ISSN:0890-5401. | |
| La Torre, S.; Napoli, M.; Parlato, G. | |
| Digital Object Identifier (DOI): 10.1016/j.ic.2020.104588 Codice identificativo ISI: WOS:000595367200019 Codice identificativo SCOPUS: 2-s2.0-85085091314 | |
| Show it in Product Database (IRIS) |
| 2020 | |
| Contributo in Atti di convegno | |
| Complexity of qualitative timeline-based planning. In: Leibniz International Proceedings in Informatics, LIPIcs Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing Vol.178, Pag.16:1-16:13 ISBN:978-3-95977-167-2 | |
| 27th International Symposium on Temporal Representation and Reasoning, TIME 2020 ita 2020 | |
| Della, Monica. D.; Gigante, N.; la Torre, S.; Montanari, A. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.4230/LIPIcs.TIME.2020.16 Codice identificativo SCOPUS: 2-s2.0-85091646530 | |
| Show it in Product Database (IRIS) |
| 2020 | |
| Contributo in Atti di convegno | |
| On the Model-Checking of Branching-Time Temporal Logic with BDI Modalities. In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems International Foundation for Autonomous Agents and Multiagent Systems Pag.681-689 ISBN:9781450375184 | |
| AAMAS '19: International Conference on Autonomous Agents and Multiagent Systems Auckland New Zealand 9-13 Maggio 2020 | |
| La Torre, S.; Parlato, G. | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-85096709017 | |
| 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) |
