• search hit 1 of 1
Back to Result List

Conflict-driven answer set solving: From theory to practice

  • We introduce an approach to computing answer sets of logic programs, based on concepts successfully applied in Satisfiability (SAT) checking. 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 capturing diverse inferences encountered in ASP solving. Moreover, our approach allows us to apply advanced solving techniques from the area of SAT. As a result, we present the first full-fledged algorithmic framework for native conflict-driven ASP solving. Our approach is implemented in the ASP solver clasp that has demonstrated its competitiveness and versatility by winning first places at various solver contests.

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Author:Martin GebserORCiD, Benjamin Kaufmann, Torsten SchaubORCiDGND
ISSN:0004-3702 (print)
Parent Title (English):Artificial intelligence
Place of publication:Amsterdam
Document Type:Article
Year of first Publication:2012
Year of Completion:2012
Release Date:2017/03/26
Tag:Answer set programming; Logic programming; Nonmonotonic reasoning
First Page:52
Last Page:89
Funder:German Science Foundation (DFG) [SCHA 550/8-1, SCHA 550/8-2]
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
Peer Review:Referiert
Institution name at the time of publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik