Abstract Disjunctive Answer Set Solvers

A fundamental task in answer set programming is to compute answer sets of logic programs. Answer set solvers are the programs that perform this task. The problem of deciding whether a disjunctive program has an answer set is Σ P2

Authors

• Rémi Brochenin
• Yuliya Lierler
• Marco Maratea

Keywords

No keywords are indexed for this paper.