Buscar
Mostrando ítems 1-3 de 3
Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming
(M D P I AG, 2019-07-31)
[Abstract] When it comes to the writing of a new logic program or theory, it is of great importance to obtain a concise and minimal representation, for simplicity and ease of interpretation reasons. There are already a few ...
A System for Explainable Answer Set Programming
(Open Publishing Association, 2020-09-19)
[Abstract]
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 derived by them. The input of ...
aspBEEF: Explaining Predictions Through Optimal Clustering
(MDPI AG, 2020-08-28)
[Abstract]
In this paper we introduce aspBEEF, a tool for generating explanations for the outcome of an arbitrary machine learning classifier. This is done using Grover’s et al. framework known as Balanced English ...