Buscar
Mostrando ítems 1-1 de 1
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 ...