Model Enumeration via Assumption Literals

DOI10.3233/FI-2019-1809zbMath1415.68222OpenAlexW2949030274WikidataQ114584471 ScholiaQ114584471MaRDI QIDQ5223207

Carmine Dodaro, Mario 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) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

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