Answer set enumeration via assumption literals

DOI10.1007/978-3-319-49130-1_12zbMATH Open1430.68326DBLPconf/aiia/AlvianoD16OpenAlexW2546986443WikidataQ62043811 ScholiaQ62043811MaRDI QIDQ5215367FDOQ5215367

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

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

zbMATH Keywords

enumerationanswer set programmingassumption literals

Mathematics Subject Classification ID

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

Cited In (8)

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

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)