• Publications
  • Influence
Explainability Through Argumentation in Logic Programming
TLDR
A real case study is considered – the CrossJustice project – together with a ready-to-use technology – Arg2P—which seamlessly integrates logic programming and argumentation, showing the effectiveness of such a blended approach. Expand
Arg-tuProlog: a tuProlog-based Argumentation Framework
TLDR
The first prototype of Arg-tuProlog is presented, a logic-based argumentation tool built on top of the tuProlog system that enables defeasible reasoning and argumentation, and deals with priorities over rules. Expand
Arg-tuProlog: A Modular Logic Argumentation Tool for PIL
TLDR
A modular argumentation tool, Arg-tuProlog, is presented that enables reasoning with rules and interpretations of multiple legal systems. Expand
Neuro-symbolic Computation for XAI: Towards a Unified Model
TLDR
This work presents a set of guidelines aimed at building explainable IS, which leverage on logic induction and constraints to integrate symbolic and sub-symbolic approaches. Expand
A Mechanism for Reasoning over Defeasible Preferences in Arg2P
This paper introduces argumentation over defeasible preferences in Arg2P, an argumentation framework based on logic programming. A computational mechanism is first implemented in Arg2P according toExpand
Towards cooperative argumentation for MAS: an Actor-based approach
TLDR
An actor-based model is proposed as a first step towards cooperative argumentation in multi-agent systems to tackle distribution issues—illustrating a preliminary fully-distributed version of the argumentation process completely based on message passing. Expand