Answer set enumeration via assumption literals

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

Carmine Dodaro, M. Alviano

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 (4)

• Model enumeration in propositional circumscription via unsatisfiable core analysis
• ASP and subset minimality: enumeration, cautious reasoning and MUSes
• 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)