On optimal solutions of answer set optimization problems

DOI10.1007/978-3-642-40564-8_55MaRDI QIDQ2851286zbMATH OpenOpenAlexFDO

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)

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

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)