ML Anthology

Advanced Conflict-Driven Disjunctive Answer Set Solving

Martin Gebser, Benjamin Kaufmann, Torsten Schaub
IJCAI 2013 pp. 912-918
/ijcai/2013/gebser2013ijcai-advanced/

Abstract

We introduce a new approach to disjunctive ASP solving that aims at an equitable interplay between "generating" and "testing" solver units. To this end, we develop novel characterizations of answer sets and unfounded sets allowing for a bidirectional dynamic information exchange between solver units for orthogonal tasks. This results in the new multi-threaded disjunctive ASP solver claspD-2, greatly improving the performance of existing systems.

PDF IJCAI Semantic Scholar

Cite

Text

Gebser et al. "Advanced Conflict-Driven Disjunctive Answer Set Solving." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[Gebser et al. "Advanced Conflict-Driven Disjunctive Answer Set Solving." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/gebser2013ijcai-advanced/)

BibTeX

@inproceedings{gebser2013ijcai-advanced,
  title     = {{Advanced Conflict-Driven Disjunctive Answer Set Solving}},
  author    = {Gebser, Martin and Kaufmann, Benjamin and Schaub, Torsten},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {912-918},
  url       = {https://mlanthology.org/ijcai/2013/gebser2013ijcai-advanced/}
}