Answer set solving with lazy nogood generation

DOI10.4230/LIPICS.ICLP.2012.188MaRDI QIDQ5398057zbMATH OpenOpenAlexFDO

Authors Christian Drescher, Toby Walsh

Publication date 25 February 2014

Full work available at URL https://doi.org/10.4230/LIPIcs.ICLP.2012.188

zbMATH Keywords

conflict-driven nogood learningconstraint answer set programmingconstraint propagationlazy nogood generation

Mathematics Subject Classification ID

Logic programming (68N17) Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27)

Recommendations

• Constraint Answer Set Solving
• Conflict-driven answer set solving: from theory to practice
• Logic Programming
• A translational approach to constraint answer set solving
• The External Interface for Extending WASP

Cited in

(4)

• Blending lazy-grounding and CDNL search for answer-set solving
• \textit{clingcon}: the next generation
• Inlining external sources in answer set programs
• Boosting Answer Set Optimization with Weighted Comparator Networks

Describes a project that uses

Uses Software

• Clingcon

This page was built for publication: Answer set solving with lazy nogood generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398057)