Pages that link to "Item:Q2909134"
From MaRDI portal
The following pages link to Multi-criteria optimization in answer set programming (Q2909134):
Displaying 17 items.
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences (Q2900530) (← links)
- Algorithmic Decision Theory Meets Logic (Q3449186) (← links)
- Progress in clasp Series 3 (Q3449220) (← links)
- An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem (Q4577945) (← links)
- Computing <i>LP<sup>MLN</sup></i> using ASP and MLN solvers (Q4592718) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- <i>Clingcon</i>: The next generation (Q4593092) (← links)
- (Q5020969) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
- Computing Diverse Optimal Stable Models (Q5240206) (← links)
- Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments (Q5240208) (← links)
- TOAST: Applying Answer Set Programming to Superoptimisation (Q5449606) (← links)
- Reactive Answer Set Programming (Q6063885) (← links)
- Inverse reinforcement learning through logic constraint inference (Q6134331) (← links)
- Adaptive large-neighbourhood search for optimisation in answer-set programming (Q6665706) (← links)