Advanced conflict-driven disjunctive answer set solving
File version
Version of Record (VoR)
Author(s)
Kaufmann, Benjamin
Schaub, Torsten
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Sebastian Thrun, Francesca Rossi
Date
Size
362403 bytes
File type(s)
application/pdf
Location
Beijing, China
License
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.
Journal Title
Conference Title
Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI-13) proceedings
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
DOI
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2013 International Joint Conference on Artificial Intelligence. The attached file is reproduced here in accordance with the copyright policy of the publisher. Please refer to the Conference's website for access to the definitive, published version.
Item Access Status
Note
Access the data
Related item(s)
Subject
Adaptive Agents and Intelligent Robotics