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 programmingmulti-criteria optimizationLinux package configuration

Mathematics Subject Classification ID

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

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

(21)

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

Describes a project that uses

Uses Software

• Lparse
• Gringo
• 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)