Answer set enumeration via assumption literals

DOI10.1007/978-3-319-49130-1_12MaRDI QIDQ5215367zbMATH OpenOpenAlexDBLPWikidataFDO

Authors M. Alviano, Carmine Dodaro

Publication date 10 February 2020

Published in AI*IA 2016 Advances in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-49130-1_12

zbMATH Keywords

answer set programmingassumption literalsenumeration

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• Model enumeration via assumption literals
• Conflict-Driven Answer Set Enumeration
• Advances in WASP
• ASSAT: computing answer sets of a logic program by SAT solvers
• Optimum stable model search: algorithms and implementation

Cited in

(8)

• Advances in WASP
• Solution Enumeration for Projected Boolean Search Problems
• Model enumeration in propositional circumscription via unsatisfiable core analysis
• Model enumeration via assumption literals
• Conflict-Driven Answer Set Enumeration
• Solution Enumeration by Optimality in Answer Set Programming
• ASP and subset minimality: enumeration, cautious reasoning and MUSes
• IASCAR: incremental answer set counting by anytime refinement

This page was built for publication: Answer set enumeration via assumption literals

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