Arg 2 P: an argumentation framework for explainable intelligent systems

R Calegari, A Omicini, G Pisano… - Journal of Logic and …, 2022 - academic.oup.com
In this paper we present the computational model of Arg 2 P, a logic-based argumentation
framework for defeasible reasoning and agent conversation particularly suitable for …

Arg-tuProlog: A tuProlog-based argumentation framework

G Pisano, R Calegari, A Omicini… - CEUR workshop …, 2020 - cadmus.eui.eu
Over the last decades, argumentation has become increasingly central as a frontier research
within artificial intelligence (AI), especially around the notions of interpretability and …

¿ Puede la inteligencia artificial interpretar normas jurídicas? Un problema de razón práctica

MJ Rodríguez Puerto - 2021 - rodin.uca.es
La formalización del razonamiento jurídico y, específicamente, de la interpretación es un
viejo sueño de nuestra cultura. Hoy, la Inteligencia Artificial parece lista para cumplir esa …

Explainable and ethical AI: A perspective on argumentation and logic programming

R Calegari, A Omicini, G Sartor - … Conference of the Italian Association for …, 2020 - Springer
In this paper we sketch a vision of explainability of intelligent systems as a logic approach
suitable to be injected into and exploited by the system actors once integrated with sub …

Weakly complete semantics based on undecidedness blocking

P Dondio, L Longo - arxiv preprint arxiv:2103.10701, 2021 - arxiv.org
In this paper we introduce a novel family of semantics called weakly complete semantics.
Differently from Dung's complete semantics, weakly complete semantics employs a …

[PDF][PDF] Explainable Rule Extraction via Semantic Graphs.

G Recski, B Lellmann, A Kovacs… - ASAIL/LegalAIIA …, 2021 - researchgate.net
We present an end-to-end system for extracting deontic logic formulae from legal text using
a generic semantic parsing module and task-specific graph grammars, and for performing …

Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach

B Lellmann, F Gulisano, A Ciabattoni - Artificial Intelligence and Law, 2021 - Springer
Over the course of more than two millennia the philosophical school of Mīmāṃsā has
thoroughly analyzed normative statements. In this paper we approach a formalization of the …

Argumentation and logic programming for explainable and ethical AI

R Calegari, A Omicini, G Sartor - CEUR workshop proceedings, 2020 - cadmus.eui.eu
In this paper we sketch a vision of explainability of intelligent systems as a logic approach
suitable to be injected into and exploited by the system actors once integrated with sub …

A mechanism for reasoning over defeasible preferences in Arg2P

G Pisano, R Calegari, A Omicini, G Sartor - CEUR WORKSHOP …, 2021 - cris.unibo.it
This paper introduces argumentation over defeasible preferences in Arg2P, an
argumentation framework based on logic programming. A computational mechanism is first …

Computable law as argumentation-based MAS

R Calegari, A Omicini, G Sartor - CEUR workshop proceedings, 2020 - cadmus.eui.eu
In this paper we sketch a vision of computable law as argumentation-based MAS, ie, human-
centred intelligent systems densely populated by agents (software or human) capable of …