Learning domain-specific heuristics for answer set solvers

DOI10.4230/LIPICS.ICLP.2010.14MaRDI QIDQ2883067zbMATH OpenOpenAlexFDO

Authors Marcello Balduccini

Publication date 11 May 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_a25c.html

zbMATH Keywords

answer set programmingsolversdomain-specific heuristics

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Recommendations

• Learning and using domain-specific heuristics in ASP solvers
• Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
• Applying machine learning techniques to ASP solving
• scientific article; zbMATH DE number 1890620
• Experimenting with Look-Back Heuristics for Hard ASP Programs

Cited in

(8)

• Applying machine learning techniques to ASP solving
• Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
• Learning and using domain-specific heuristics in ASP solvers
• Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach
• The Significance of Memory Costs in Answer Set Solver Implementation
• Abstract answer set solvers with backjumping and learning
• Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring
• Conflict generalisation in ASP: learning correct and effective non-ground constraints

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: Learning domain-specific heuristics for answer set solvers

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