Multi-criteria optimization in answer set programming

DOI10.4230/LIPICS.ICLP.2011.1zbMATH Open1245.68052OpenAlexW2147344875MaRDI QIDQ2909134FDOQ2909134

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

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

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)

Cited In (21)

• Progress in clasp series 3
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
• Title not available (Why is that?)
• 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
• Algorithmic decision theory meets logic (invited talk)
• Backdoors to tractable answer set programming
• 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
• Inverse reinforcement learning through logic constraint inference

Uses Software

• MiniSat
• Gringo
• Lparse

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)