An Entailment Procedure for Kleene Answer Set Programs

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

Abstract is missing.