资源分类
》 资源 》论文》Advanced Conflict-Driven Disjunctive Answer Set Solving

Advanced Conflict-Driven Disjunctive Answer Set Solving

2019-11-11 | |  70 |   44 |   0

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 multithreaded disjunctive ASP solver claspD-2, greatly improving the performance of existing systems.

上一篇：Representation and Reasoning about General Solid Rectangles Xiaoyu Ge and Jochen Renz

下一篇：A Strongly-Local Contextual Logic Michael James Gratton

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...