Luca Pasetto

According to our database, Luca Pasetto authored at least 21 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint).

Christoph Benzmüller, Daniel Kirchner, Luca Pasetto

CoRR, May, 2026

Teaching AI to Contextualize the Law: AI-Generated Definitions from UK Statutes and Case Law.

Livio Robaldo, Safia Kanwal, Davide Liga, Joseph K. Anim, Luca Pasetto, Stergios Aidinlis

Proceedings of the New Frontiers in Artificial Intelligence, 2026

2025

Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic.

Francesco Olivieri, Matteo Cristani, Guido Governatori, Luca Pasetto, Antonino Rotolo, Simone Scannapieco, Claudio Tomazzoli, Tewabe Chekole Workneh

J. Log. Comput., 2025

Visualizing Kripke Models in LogiKEy: the Case of SDL.

Luca Pasetto, Christoph Benzmüller

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

Reasoning with Epistemic Rights and Duties: Automating a Dynamic Logic of the Right to Know in LogiKEy.

Lara Lawniczak, Luca Pasetto, Christoph Benzmüller, Xu Li, Réka Markovich

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

An Overview of Termination in the Ethereum Blockchain.

Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara

Proceedings of the Blockchain Technology and Emerging Applications, 2025

2024

European Union Data Act and Blockchain Technology: Challenges and New Directions.

Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

Implementing the Fatio Protocol for Multi-Agent Argumentation in LogiKEy.

Luca Pasetto, Christoph Benzmüller

Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024) affiliated with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), 2024

2023

Towards Compliance of Smart Contracts with the European Union Data Act.

Luca Olivieri, Luca Pasetto

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

The architecture of a reasoning system for Defeasible Deontic Logic.

Matteo Cristani, Guido Governatori, Francesco Olivieri, Luca Pasetto, Francesco Tubini, Celeste Veronese, Alessandro Villa, Edoardo Zorzi

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

Testing Spatial Reasoning of Large Language Models: the Case of Tic-Tac-Toe.

Davide Liga, Luca Pasetto

Proceedings of the 1st Workshop on Artificial Intelligence for Perception and Artificial Consciousness (AIxPAC 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

Extraction of Defeasible Proofs as Explanations.

Luca Pasetto, Matteo Cristani, Guido Governatori, Francesco Olivieri, Edoardo Zorzi

Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

2022

Impact Logic: Reasoning with resources and losses.

Matteo Cristani, Francesco Olivieri, Luca Pasetto, Claudio Tomazzoli, Tewabe Chekole Workneh

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

Classification Rules Explain Machine Learning.

Matteo Cristani, Francesco Olivieri, Tewabe Chekole Workneh, Luca Pasetto, Claudio Tomazzoli

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Houdini (unchained): An Effective Reasoner for Defeasible Logic.

Matteo Cristani, Guido Governatori, Francesco Olivieri, Luca Pasetto, Francesco Tubini, Celeste Veronese, Alessandro Villa, Edoardo Zorzi

Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022

2021

Text Analytics Can Predict Contract Fairness, Transparency and Applicability.

Nicola Assolini, Adelaide Baronchelli, Matteo Cristani, Luca Pasetto, Francesco Olivieri, Roberto Ricciuti, Claudio Tomazzoli

Proceedings of the 17th International Conference on Web Information Systems and Technologies, 2021

Revising Ethical Principles and Norms in Hybrid Societies: Basic Principles and Issues.

Matteo Cristani, Francesco Olivieri, Luca Pasetto

Proceedings of the Agents and Multi-Agent Systems: Technologies and Applications 2021, 2021

2020

An Ontology of Changes in Normative Systems from an Agentive Viewpoint.

Matteo Cristani, Claudio Tomazzoli, Francesco Olivieri, Luca Pasetto

Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection, 2020

Protecting the environment: a multi-agent approach to environmental monitoring.

Matteo Cristani, Luca Pasetto, Claudio Tomazzoli

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

A knowledge-intensive methodology for explainable sales prediction.

Matteo Cristani, Luca Pasetto, Claudio Tomazzoli

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

2018

Pipeline Comparison for the Pre-Processing of Resting-State Data in Epilepsy.

Bianca De Blasi, Matthias J. Koepp, Ilaria Boscolo Galazzo, Anna Barnes, Luca Pasetto, Gloria Menczaz, Silvia Francesca Storti

Proceedings of the 26th European Signal Processing Conference, 2018