Enumeration of minimal models and MUSes in WASP

DOI10.1007/978-3-031-15707-3_3OpenAlexW4293180476MaRDI QIDQ2694547

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Francesco 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

MUSenumerationminimal modelsanswer set programming

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Related Items

ASP and subset minimality: enumeration, cautious reasoning and MUSes

Uses Software

• WASP
• Clingo
• maxino

Cites Work

• Fast, flexible MUS enumeration
• Solving satisfiability problems with preferences
• Minimal sets on propositional formulae. Problems and reductions
• Conflict-driven answer set solving: from theory to practice
• Paracoherent answer set computation
• Strong inconsistency
• Reasoning about strong inconsistency in ASP
• Anytime Computation of Cautious Consequences in Answer Set Programming
• Advances in WASP
• Debugging Non-ground ASP Programs: Technique and Graphical Tools
• Model Enumeration via Assumption Literals
• Conflict-Driven Answer Set Enumeration
• Solution Enumeration by Optimality in Answer Set Programming