Multi-Criteria Optimization in Answer Set Programming

DOI10.4230/LIPIcs.ICLP.2011.1zbMath1245.68052OpenAlexW2147344875MaRDI QIDQ2909134

Torsten Schaub, Martin Gebser, Roland Kaminski, Benjamin Kaufmann

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

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

Related Items (15)

Algorithmic Decision Theory Meets Logic ⋮ Progress in clasp Series 3 ⋮ Algorithms for Solving Satisfiability Problems with Qualitative Preferences ⋮ An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem ⋮ Computing LP^MLN using ASP and MLN solvers ⋮ Anytime answer set optimization via unsatisfiable core shrinking ⋮ Clingcon: The next generation ⋮ Inconsistency Proofs for ASP: The ASP - DRUPE Format ⋮ Inverse reinforcement learning through logic constraint inference ⋮ A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure ⋮ Unnamed Item ⋮ Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments ⋮ Conflict-driven answer set solving: from theory to practice ⋮ Reactive Answer Set Programming ⋮ Backdoors to tractable answer set programming

Uses Software

• MiniSat
• Gringo
• Lparse

This page was built for publication: Multi-Criteria Optimization in Answer Set Programming