Stability, Supportedness, Minimality and Kleene Answer Set Programs

Patrick Doherty, Andrzej Szalas. Stability, Supportedness, Minimality and Kleene Answer Set Programs. In Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran, editors, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Volume 9060 of Lecture Notes in Computer Science, pages 125-140, Springer, 2014. [doi]

Abstract

Abstract is missing.