Optimum stable model search: algorithms and implementation
From MaRDI portal
Publication:3304091
DOI10.1093/logcom/exv061zbMath1487.68206OpenAlexW2471277801MaRDI QIDQ3304091
Francesco Ricca, Carmine Dodaro, Mario Alviano, João P. Marques-Silva
Publication date: 5 August 2020
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exv061
WASPoptimization problemsmaximum satisfiabilityanswer set programmingMaxSATASPcore-guided algorithmsmodel-guided algorithms
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items (8)
Advances in WASP ⋮ Progress in clasp Series 3 ⋮ A general framework for preferences in answer set programming ⋮ Domain-Independent Cost-Optimal Planning in ASP ⋮ Paracoherent answer set computation ⋮ Efficiently Coupling the I-DLV Grounder with ASP Solvers ⋮ Boosting Answer Set Optimization with Weighted Comparator Networks ⋮ Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search
This page was built for publication: Optimum stable model search: algorithms and implementation
