Conflict-Driven Answer Set Solving
Abstract
We introduce a new approach to computing answer sets of logic programs, based on concepts from constraint processing (CSP) and satisfiability checking (SAT). The idea is to view inferences in answer set programming (ASP) as unit propagation on nogoods. This provides us with a uniform constraint-based framework for the different kinds of inferences in ASP. It also allows us to apply advanced techniques from the areas of CSP and SAT. We have implemented our approach in the new ASP solver clasp. Our experiments show that the approach is competitive with state-of-the-art ASP solvers.
Cite
Text
Gebser et al. "Conflict-Driven Answer Set Solving." International Joint Conference on Artificial Intelligence, 2007.Markdown
[Gebser et al. "Conflict-Driven Answer Set Solving." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/gebser2007ijcai-conflict/)BibTeX
@inproceedings{gebser2007ijcai-conflict,
title = {{Conflict-Driven Answer Set Solving}},
author = {Gebser, Martin and Kaufmann, Benjamin and Neumann, André and Schaub, Torsten},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2007},
pages = {386-},
url = {https://mlanthology.org/ijcai/2007/gebser2007ijcai-conflict/}
}