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 (8)

• Boosting Answer Set Optimization with Weighted Comparator Networks
• Computing Diverse Optimal Stable Models
• Implementing Preferences with asprin
• Logic Programming and Nonmonotonic Reasoning
• 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

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)