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

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

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)

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