Optimum stable model search: algorithms and implementation

DOI10.1093/LOGCOM/EXV061zbMATH Open1487.68206OpenAlexW2471277801MaRDI QIDQ3304091FDOQ3304091

Authors M. Alviano, Carmine Dodaro, F. Ricca, Joao 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

zbMATH Keywords

WASPanswer set programmingoptimization problemsMaxSATmaximum satisfiabilityASPcore-guided algorithmsmodel-guided algorithms

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Recommendations

• Max-ASP: Maximum Satisfiability of Answer Set Programs
• Advances in WASP
• Extending and implementing the stable model semantics
• Logic Programming
• Answer Set Programming: A Primer

Cited in

(28)

• Answer set enumeration via assumption literals
• Solution Enumeration by Optimality in Answer Set Programming
• Stable model semantics for founded bounds
• Advances in WASP
• Multi-criteria optimization in answer set programming
• Maxima units search (MUS) algorithm: methodology and applications
• Evaluating ASP and commercial solvers on the CSPLib
• An abstract view on optimizations in propositional frameworks
• scientific article; zbMATH DE number 3862491 (Why is no real title available?)
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• Cautious reasoning in ASP via minimal models and unsatisfiable cores
• Answer Sets and Qualitative Optimization
• A general framework for preferences in answer set programming
• Optimal reduction of models using a hybrid searching strategy
• Max-ASP: Maximum Satisfiability of Answer Set Programs
• Domain-independent cost-optimal planning in ASP
• Boosting Answer Set Optimization with Weighted Comparator Networks
• Complex optimization in answer set programming
• Paracoherent answer set computation
• scientific article; zbMATH DE number 1931683 (Why is no real title available?)
• Unsatisfiable core analysis and aggregates for optimum stable model search
• Logic Programming and Nonmonotonic Reasoning
• Modélisation d'algorithmes d'optimisation à stratégie aléatoire. (Modelling random search optimization algorithms)
• Optimising business process discovery using answer set programming
• On optimal solutions of answer set optimization problems
• Progress in clasp series 3
• Adaptive large-neighbourhood search for optimisation in answer-set programming
• Unsatisfiability-based optimization in clasp

This page was built for publication: Optimum stable model search: algorithms and implementation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3304091)