Applying machine learning techniques to ASP solving

DOI10.4230/LIPICS.ICLP.2012.37MaRDI QIDQ5398041zbMATH OpenOpenAlexFDO

Authors Marco Maratea, Luca Pulina, F. Ricca

Publication date 25 February 2014

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

zbMATH Keywords

answer set programmingautomated algorithm selectionmulti-engine solvers

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• Multi-engine ASP solving with policy adaptation
• Multi-level Algorithm Selection for ASP
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• claspfolio2: Advances in Algorithm Selection for Answer Set Programming
• Learning domain-specific heuristics for answer set solvers

Cited in

(5)

• Multi-engine ASP solving with policy adaptation
• Learning and using domain-specific heuristics in ASP solvers
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• Learning domain-specific heuristics for answer set solvers
• aspeed: solver scheduling via answer set programming

This page was built for publication: Applying machine learning techniques to ASP solving

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