Salvatore LA TORRE | Publications
Salvatore LA TORRE Publications
| 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 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) |
