Luca Pasetto

19 papers A 1B 4C 2Journal 1Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — conf
An Overview of Termination in the Ethereum Blockchain.
BlockTEA
Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara
2025 A conf
Reasoning with Epistemic Rights and Duties: Automating a Dynamic Logic of the Right to Know in LogiKEy.
ECAI
Lara Lawniczak, Luca Pasetto, Christoph Benzmüller, Xu Li, Réka Markovich
2025 J jnl
Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic.
J. Log. Comput.
Francesco Olivieri, Matteo Cristani, Guido Governatori, Luca Pasetto, Antonino Rotolo, Simone Scannapieco, Claudio Tomazzoli, Tewabe Chekole Workneh
2025 — conf
Visualizing Kripke Models in LogiKEy: the Case of SDL.
ICLP Workshops
Luca Pasetto, Christoph Benzmüller
2024 C conf
European Union Data Act and Blockchain Technology: Challenges and New Directions.
DLT
Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara
2024 — conf
Implementing the Fatio Protocol for Multi-Agent Argumentation in LogiKEy.
ARQNL@IJCAR
Luca Pasetto, Christoph Benzmüller
2023 — conf
Extraction of Defeasible Proofs as Explanations.
AI³@AI*IA
Luca Pasetto, Matteo Cristani, Guido Governatori, Francesco Olivieri, Edoardo Zorzi
2023 — conf
Testing Spatial Reasoning of Large Language Models: the Case of Tic-Tac-Toe.
AIxPAC@AI*IA
Davide Liga, Luca Pasetto
2023 B conf
The architecture of a reasoning system for Defeasible Deontic Logic.
KES
Matteo Cristani, Guido Governatori, Francesco Olivieri, Luca Pasetto, Francesco Tubini, Celeste Veronese, Alessandro Villa, Edoardo Zorzi
2023 — conf
Towards Compliance of Smart Contracts with the European Union Data Act.
OVERLAY@AI*IA
Luca Olivieri, Luca Pasetto
2022 — conf
Classification Rules Explain Machine Learning.
ICAART (3)
Matteo Cristani, Francesco Olivieri, Tewabe Chekole Workneh, Luca Pasetto, Claudio Tomazzoli
2022 — conf
Houdini (unchained): An Effective Reasoner for Defeasible Logic.
AI³@AI*IA
Matteo Cristani, Guido Governatori, Francesco Olivieri, Luca Pasetto, Francesco Tubini, Celeste Veronese, Alessandro Villa, Edoardo Zorzi
2022 B conf
Impact Logic: Reasoning with resources and losses.
KES
Matteo Cristani, Francesco Olivieri, Luca Pasetto, Claudio Tomazzoli, Tewabe Chekole Workneh
2021 — conf
Revising Ethical Principles and Norms in Hybrid Societies: Basic Principles and Issues.
KES-AMSTA
Matteo Cristani, Francesco Olivieri, Luca Pasetto
2021 C conf
Text Analytics Can Predict Contract Fairness, Transparency and Applicability.
WEBIST
Nicola Assolini, Adelaide Baronchelli, Matteo Cristani, Luca Pasetto, Francesco Olivieri, Roberto Ricciuti, Claudio Tomazzoli
2020 B conf
A knowledge-intensive methodology for explainable sales prediction.
KES
Matteo Cristani, Luca Pasetto, Claudio Tomazzoli
2020 — conf
An Ontology of Changes in Normative Systems from an Agentive Viewpoint.
PAAMS (Workshops)
Matteo Cristani, Claudio Tomazzoli, Francesco Olivieri, Luca Pasetto
2020 B conf
Protecting the environment: a multi-agent approach to environmental monitoring.
KES
Matteo Cristani, Luca Pasetto, Claudio Tomazzoli
2018 — conf
Pipeline Comparison for the Pre-Processing of Resting-State Data in Epilepsy.
EUSIPCO
Bianca De Blasi, Matthias J. Koepp, Ilaria Boscolo Galazzo, Anna Barnes, Luca Pasetto, Gloria Menczaz, Silvia Francesca Storti