Multi-criteria optimization in answer set programming

DOI10.4230/LIPICS.ICLP.2011.1MaRDI QIDQ2909134zbMATH OpenOpenAlexFDO

Authors Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub

Publication date 29 August 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_6361.html

zbMATH Keywords

answer set programmingLinux package configurationmulti-criteria optimization

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Multi-objective and goal programming (90C29)

Recommendations

• Unsatisfiability-based optimization in clasp
• Optimum stable model search: algorithms and implementation
• Max-ASP: Maximum Satisfiability of Answer Set Programs
• Complex optimization in answer set programming
• ANSWER SET PROGRAMMING AND COMBINATORIAL MULTICRITERIA DECISION MAKING

Cited in

(22)

• Conflict-driven answer set solving: from theory to practice
• Backdoors to tractable answer set programming
• On optimal solutions of answer set optimization problems
• Algorithms for Solving Satisfiability Problems with Qualitative Preferences
• Complex optimization in answer set programming
• Algorithmic decision theory meets logic (invited talk)
• Progress in clasp series 3
• An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem
• Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers
• Anytime answer set optimization via unsatisfiable core shrinking
• \textit{clingcon}: the next generation
• scientific article; zbMATH DE number 7455711 (Why is no real title available?)
• Inconsistency proofs for ASP: the ASP-DRUPE format
• Computing Diverse Optimal Stable Models
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
• Unsatisfiability-based optimization in clasp
• TOAST: Applying Answer Set Programming to Superoptimisation
• ANSWER SET PROGRAMMING AND COMBINATORIAL MULTICRITERIA DECISION MAKING
• Reactive Answer Set Programming
• Inverse reinforcement learning through logic constraint inference
• A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure
• Adaptive large-neighbourhood search for optimisation in answer-set programming

Describes a project that uses

Uses Software

• Gringo
• Lparse
• MiniSat

This page was built for publication: Multi-criteria optimization in answer set programming

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