![]() | Olivieri, L., PASETTO, L., Negrini, L., & Ferrara, P. (2026). An Overview of Termination in the Ethereum Blockchain. In W. Knottenbelt (Ed.), Blockchain Technology and Emerging Applications - 4th EAI International Conference, BlockTEA 2025, Proceedings. Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-032-12335-0_14 Peer reviewed |
![]() | Lawniczak, L., PASETTO, L., Benzmüller, C., LI, X., & MARKOVICH, R. (2025). Reasoning with Epistemic Rights and Duties: Automating a Dynamic Logic of the Right to Know in LogiKEy. In I. Lynce (Ed.), ECAI 2025 - 28th European Conference on Artificial Intelligence, including 14th Conference on Prestigious Applications of Intelligent Systems, PAIS 2025 - Proceedings. IOS Press BV. doi:10.3233/FAIA250988 Peer reviewed |
![]() | Olivieri, L., PASETTO, L., Negrini, L., & Ferrara, P. (2024). European Union Data Act and Blockchain Technology: Challenges and New Directions. CEUR Workshop Proceedings, 3791. Peer Reviewed verified by ORBi |
![]() | PASETTO, L., & Benzmüller, C. (2024). Implementing the Fatio Protocol for Multi-Agent Argumentation in LogiKEy. CEUR Workshop Proceedings, 3875, 38 - 47. Peer Reviewed verified by ORBi |
LIGA, D., & PASETTO, L. (2023). Testing the reasoning of Large Language Models on tic-tac-toe [Paper presentation]. ACLAI 2023. Peer reviewed |
![]() | LIGA, D., & PASETTO, L. (2023). Testing spatial reasoning of Large Language Models: the case of tic-tac-toe [Paper presentation]. AIxPAC, Rome, Italy. Peer reviewed |
![]() | Olivieri, L., & PASETTO, L. (2023). Towards Compliance of Smart Contracts with the European Union Data Act. CEUR Workshop Proceedings, 3629, 7 - 11. Peer Reviewed verified by ORBi |
![]() | Cristani, M., Governatori, G., Olivieri, F., PASETTO, L., Tubini, F., Veronese, C., Villa, A., & Zorzi, E. (2023). The architecture of a reasoning system for Defeasible Deontic Logic. Procedia Computer Science, 225, 4214 - 4224. doi:10.1016/j.procs.2023.10.418 Peer reviewed |
![]() | PASETTO, L., Cristani, M., Governatori, G., Olivieri, F., & Zorzi, E. (2023). Extraction of Defeasible Proofs as Explanations. CEUR Workshop Proceedings, 3546. Peer Reviewed verified by ORBi |