Enumeration of minimal models and MUSes in WASP
type: Item
instance of: scholarly article
title: Enumeration of minimal models and MUSes in WASP
DOI: 10.1007/978-3-031-15707-3_3
author: M. Alviano
author: Carmine Dodaro
author: Salvatore Fiorentino
author: F. Ricca
author: Alessandro Previti
publication date: 2023-04-04T00:00:00Z
Mathematics Subject Classification ID: 68Q80
zbMATH DE Number: 7671876
zbMATH Keywords: answer set programming
zbMATH Keywords: enumeration
zbMATH Keywords: minimal models
zbMATH Keywords: MUS
describes a project that uses: WASP
describes a project that uses: maxino
describes a project that uses: Clingo
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-031-15707-3 3
OpenAlex ID: W4293180476
cites work: Model Enumeration via Assumption Literals
cites work: Advances in WASP
cites work: Anytime Computation of Cautious Consequences in Answer Set Programming
cites work: Paracoherent answer set computation
cites work: Strong inconsistency
cites work: Solving satisfiability problems with preferences
cites work: Debugging Non-ground ASP Programs: Technique and Graphical Tools
cites work: Conflict-Driven Answer Set Enumeration
cites work: Conflict-driven answer set solving: from theory to practice
cites work: Fast, flexible MUS enumeration
cites work: Minimal sets on propositional formulae. Problems and reductions
cites work: Reasoning about strong inconsistency in ASP
cites work: Solution Enumeration by Optimality in Answer Set Programming
description: scientific article; zbMATH DE number 7671876