Patrick Doherty, Andrzej Szalas. An Entailment Procedure for Kleene Answer Set Programs. In Chattrakul Sombattheera, Frieder Stolzenburg, Fangzhen Lin, Abhaya C. Nayak, editors, Multi-disciplinary Trends in Artificial Intelligence - 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings. Volume 10053 of Lecture Notes in Computer Science, pages 24-37, Springer, 2016. [doi]
Abstract is missing.