23 citations · 23 across the 2 of their papers we have counts for
3 papers · 1 filter
Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
Felicidad Aguado, Pedro Cabalar, Brais Muñiz +2
In this paper, we compare four different semantics for disjunction in Answer Set Programming that, unlike stable models, do not adhere to the principle of model minimality. Two of…
Explainable Machine Larning for liver transplantation
Pedro Cabalar, Brais Muñiz, Gilberto Pérez +1
In this work, we present a flexible method for explaining, in human readable terms, the predictions made by decision trees used as decision support in liver transplantation. The de…
A System for Explainable Answer Set Programming
Pedro Cabalar, Jorge Fandinno, Brais Muñiz
We present xclingo, a tool for generating explanations from ASP programs annotated with text and labels. These annotations allow tracing the application of rules or the atoms deriv…