On optimal solutions of answer set optimization problems

DOI10.1007/978-3-642-40564-8_55zbMATH Open1405.68055OpenAlexW807789281MaRDI QIDQ2851286FDOQ2851286

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

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

Mathematics Subject Classification ID

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

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)