Profil

PASETTO Luca

University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

Main Referenced Co-authors
Olivieri, Luca (3)
Benzmüller, Christoph (2)
Cristani, Matteo (2)
Ferrara, Pietro (2)
Governatori, Guido (2)
Main Referenced Keywords
Computer Science (all) (5); Block-chain (3); blockchain (3); EU Data Act (3); EU data act (3);
Main Referenced Disciplines
Computer science (9)

Publications (total 9)

The most downloaded
350 downloads
LIGA, D., & PASETTO, L. (2023). Testing spatial reasoning of Large Language Models: the case of tic-tac-toe [Paper presentation]. AIxPAC, Rome, Italy. https://hdl.handle.net/10993/57922

The most cited

7 citations (Scopus®)

Olivieri, L., & PASETTO, L. (2023). Towards Compliance of Smart Contracts with the European Union Data Act. CEUR Workshop Proceedings, 3629, 7 - 11. https://hdl.handle.net/10993/60658

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

Contact ORBilu