Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications

Thomas Eiter, Axel Polleres

Answer set programming (ASP) with disjunction offers a powerful tool for declaratively representing and solving hard problems. Many NP-complete problems can be encoded in the answe…