Juan Carlos Acosta Guadarrama. Towards a Logic-programming System to Debug ASP Knowledge Bases. In Mauricio Osorio, Claudia Zepeda, Ivan Olmos, José Luis Carballido, José Arrazola, Carolina Medina, editors, Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011. Volume 804 of CEUR Workshop Proceedings, pages 3-12, CEUR-WS.org, 2011. [doi]
Abstract is missing.