On optimal solutions of answer set optimization problems

DOI10.1007/978-3-642-40564-8_55MaRDI QIDQ2851286zbMATHOpenAlexFDO

Authors Ying Zhu, Mirosław Truszczyński

Publication date 10 October 2013

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40564-8_55

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic programming (68N17)

Recommendations

• Max-ASP: Maximum Satisfiability of Answer Set Programs
• Aggregates in answer set optimization
• Multi-criteria optimization in answer set programming
• Optimum stable model search: algorithms and implementation
• Answer Sets and Qualitative Optimization

Cited in

(11)

• Solution Enumeration by Optimality in Answer Set Programming
• TOAST: Applying Answer Set Programming to Superoptimisation
• Implementing preferences with asprin
• Answer Sets and Qualitative Optimization
• Boosting Answer Set Optimization with Weighted Comparator Networks
• Complex optimization in answer set programming
• Aggregates in answer set optimization
• Logic Programming and Nonmonotonic Reasoning
• Computing Diverse Optimal Stable Models
• Solving set optimization problems by cardinality optimization with an application to argumentation
• Finding similar/diverse solutions in answer set programming

This page was built for publication: On optimal solutions of answer set optimization problems

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