ListarInformation Retrieval Lab (IRlab) por tema "Answer Set Programming"

Mostrando ítems 1-2 de 2

    • A System for Explainable Answer Set Programming 

      Cabalar, Pedro; Fandinno, Jorge; Muñiz, Brais (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 ...

    • Forgetting Auxiliary Atoms in Forks 

      Aguado, Felicidad; Cabalar, Pedro; Fandiño, Jorge; Pearce, David; Pérez, Gilberto; Vidal, Concepción (Elsevier Ltd, 2019)
      [Abstract]: In this work we tackle the problem of checking strong equivalence of logic programs that may contain local auxiliary atoms, to be removed from their stable models and to be forbidden in any external context. ...