Advanced Conflict-Driven Disjunctive Answer Set Solving

Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten

Advanced Conflict-Driven Disjunctive Answer Set Solving

Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Download BibTeX Cite

Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 912-917.

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.

Martin Gebser, Benjamin Kaufmann, and Torsten Schaub. 2013. Advanced Conflict-Driven Disjunctive Answer Set Solving. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13. IJCAI, 912–917. https://ijcai.org/proceedings/2013/140

@inproceedings{ijcai2013p140,
  title     = {Advanced Conflict-Driven Disjunctive Answer Set Solving},
  author    = {Gebser, Martin and Kaufmann, Benjamin and Schaub, Torsten},
  booktitle = {Proceedings of the Twenty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-13}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Francesca Rossi},
  pages     = {912--917},
  year      = {2013},
  month     = {8},
  url       = {https://ijcai.org/proceedings/2013/140},
}

TY  - CPAPER
TI  - Advanced Conflict-Driven Disjunctive Answer Set Solving
AU  - Gebser, Martin
AU  - Kaufmann, Benjamin
AU  - Schaub, Torsten
T2  - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2013
SP  - 912
EP  - 917
UR  - https://ijcai.org/proceedings/2013/140
ER  -