23 citations · 26 across the 5 of their papers we have counts for
5 papers
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…
Model Explanation via Support Graphs
Pedro Cabalar, Brais Muñiz
In this note, we introduce the notion of support graph to define explanations for any model of a logic program. An explanation is an acyclic support graph that, for each true atom…
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…
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno +3
In this paper we present web-liver, a rule-based system for decision support in the medical domain, focusing on its application in a liver transplantation unit for implementing pol…