Enumeration of minimal models and MUSes in WASP

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

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

MUSenumerationanswer set programmingminimal models

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Cites Work

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

Cited In (1)

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

Uses Software

• WASP
• Clingo
• maxino

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)