Skip to search formSkip to main contentSkip to account menu

Explainability Through Argumentation in Logic Programming

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.
View Paper (opens in a new tab)

Arg2P: an argumentation framework for explainable intelligent systems

View via Publisher (opens in a new tab)

Arg-tuProlog: a tuProlog-based Argumentation Framework

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.
View Paper (opens in a new tab)

Towards Human-centric AutoML via Logic and Argumentation

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.
View Paper (opens in a new tab)

Neuro-symbolic Computation for XAI: Towards a Unified Model

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.
View Paper (opens in a new tab)

Arg-tuProlog: A Modular Logic Argumentation Tool for PIL

A modular argumentation tool, Arg-tuProlog, is presented that enables reasoning with rules and interpretations of multiple legal systems.
View via Publisher (opens in a new tab)

Argumentation and Defeasible Reasoning in the Law

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.
View PDF (opens in a new tab)

Towards cooperative argumentation for MAS: an Actor-based approach

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.
View Paper (opens in a new tab)

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 to…
View Paper (opens in a new tab)

Modular Logic Argumentation in Arg-tuProlog

View via Publisher (opens in a new tab)
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)