Explainability Through Argumentation in Logic Programming
- M. Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, G. Sartor, G. Sartor
- PhilosophyICLP Workshops
- 2021
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.
Arg2P: an argumentation framework for explainable intelligent systems
- Roberta Calegari, A. Omicini, Giuseppe Pisano, G. Sartor
- Computer ScienceJournal of Logic and Computation
- 2022
Arg-tuProlog: a tuProlog-based Argumentation Framework
- Giuseppe Pisano, Roberta Calegari, Andrea Omicini, G. Sartor
- Computer ScienceItalian Conference on Computational Logic
- 2020
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.
Towards Human-centric AutoML via Logic and Argumentation
- Joseph Giovanelli, Giuseppe Pisano
- Computer ScienceEDBT/ICDT Workshops
- 2022
This vision paper proposes HAMLET (Human-centric AutoMl via Logic and Argumentation), a framework that would help the DS to redeem her centrality and is inspired to the well-known standard process model CRISP-DM.
Neuro-symbolic Computation for XAI: Towards a Unified Model
- Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Computer ScienceWorkshop From Objects to Agents
- 2020
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.
Arg-tuProlog: A Modular Logic Argumentation Tool for PIL
- Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, G. Sartor, G. Sartor, G. Sartor
- LawInternational Conference on Legal Knowledge and…
- 1 December 2020
A modular argumentation tool, Arg-tuProlog, is presented that enables reasoning with rules and interpretations of multiple legal systems.
Argumentation and Defeasible Reasoning in the Law
- M. Billi, Roberta Calegari, G. Sartor
- Computer ScienceET Journal
- 18 December 2021
This work provides an overview of the following logic-based approaches to defeasible reasoning: defeasibles logic, Answer Set Programming, ABA+, ASPIC+, and DeLP, and compares features of these approaches under three perspectives: the logical model, the method, and the technology.
Towards cooperative argumentation for MAS: an Actor-based approach
- Giuseppe Pisano, Roberta Calegari, A. Omicini
- Computer ScienceWorkshop From Objects to Agents
- 2021
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.
A Mechanism for Reasoning over Defeasible Preferences in Arg2P
- Giuseppe Pisano, Roberta Calegari, Andrea Omicini, G. Sartor
- Computer ScienceItalian Conference on Computational Logic
- 2021
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 to…
Modular Logic Argumentation in Arg-tuProlog
- Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, G. Sartor, G. Sartor
- PhilosophyInternational Conference of the Italian…
- 2021
...
...