Model Enumeration via Assumption Literals

DOI10.3233/FI-2019-1809zbMATH Open1415.68222OpenAlexW2949030274WikidataQ114584471 ScholiaQ114584471MaRDI QIDQ5223207FDOQ5223207

Carmine Dodaro, M. Alviano

Publication date: 17 July 2019

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2019-1809

zbMATH Keywords

enumerationanswer set programmingassumption literals

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Cited In (2)

• ASP and subset minimality: enumeration, cautious reasoning and MUSes
• Enumeration of minimal models and MUSes in WASP

This page was built for publication: Model Enumeration via Assumption Literals

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