On the relation among answer set solvers

@article{Giunchiglia2008OnTR,
  title={On the relation among answer set solvers},
  author={Enrico Giunchiglia and Nicola Leone and Marco Maratea},
  journal={Annals of Mathematics and Artificial Intelligence},
  year={2008},
  volume={53},
  pages={169-204}
}
In this paper, we study the relation among Answer Set Programming (ASP) systems from a computational point of view. We consider smodels, dlv, and cmodels ASP systems based on stable model semantics, the first two being native ASP systems and the last being a SAT-based system. We first show that smodels, dlv, and cmodels explore search trees with the same branching nodes (assuming, of course, a same branching heuristic) on the class of tight logic programs. Leveraging on the fact that SAT-based… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…