Abstract answer set solvers with backjumping and learning

DOI10.1017/S1471068410000578MaRDI QIDQ3008404zbMATH OpenOpenAlexFDO

Authors Yuliya Lierler

Publication date 15 June 2011

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068410000578

zbMATH Keywords

answer set programminginferencelearning

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Abstract Answer Set Solvers
• The complexity and generality of learning answer set programs
• Backdoors to tractable answer set programming
• Learning domain-specific heuristics for answer set solvers
• scientific article; zbMATH DE number 6747884
• Backjump-based backtracking for constraint satisfaction problems
• Inductive learning of answer set programs
• Learning through hypothesis refinement using answer set programming

Cited in

(13)

• What is answer set programming to propositional satisfiability
• Conflict-driven answer set solving: from theory to practice
• Answers set programs for non-transferable utility games: expressiveness, complexity and applications
• On abstract modular inference systems and solvers
• Transition systems for model generators -- a unifying approach
• Disjunctive answer set solvers via templates
• Stepwise debugging of answer-set programs
• Relating constraint answer set programming languages and algorithms
• Boosting Answer Set Optimization with Weighted Comparator Networks
• Abstract Solvers for Computing Cautious Consequences of ASP programs
• Constraint CNF: SAT and CSP Language Under One Roof.
• The nomore + + Approach to Answer Set Solving
• Abstract Answer Set Solvers

Describes a project that uses

Uses Software

• MiniSat

This page was built for publication: Abstract answer set solvers with backjumping and learning

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