Enumeration of minimal models and MUSes in WASP

DOI10.1007/978-3-031-15707-3_3MaRDI QIDQ2694547zbMATH OpenOpenAlexFDO

Authors M. Alviano, Carmine Dodaro, Salvatore Fiorentino, F. Ricca, Alessandro Previti

Publication date 4 April 2023

Full work available at URL https://doi.org/10.1007/978-3-031-15707-3_3

zbMATH Keywords

answer set programmingenumerationminimal modelsMUS

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Cites work

• Advances in WASP
• Anytime computation of cautious consequences in answer set programming
• Conflict-Driven Answer Set Enumeration
• Conflict-driven answer set solving: from theory to practice
• Debugging non-ground ASP programs: technique and graphical tools
• Fast, flexible MUS enumeration
• Minimal sets on propositional formulae. Problems and reductions
• Model enumeration via assumption literals
• Paracoherent answer set computation
• Reasoning about strong inconsistency in ASP
• Solution Enumeration by Optimality in Answer Set Programming
• Solving satisfiability problems with preferences
• Strong inconsistency

Cited in

(1)

• ASP and subset minimality: enumeration, cautious reasoning and MUSes

Describes a project that uses

Uses Software

• WASP
• maxino
• Clingo

This page was built for publication: Enumeration of minimal models and MUSes in WASP

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