Algorithm selection for paracoherent answer set computation

DOI10.1007/978-3-030-19570-0_31MaRDI QIDQ2296732zbMATH OpenOpenAlexFDO

Authors Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, F. Ricca

Publication date 18 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-19570-0_31

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Paracoherent answer set computation
• Better paracoherent answer sets with less resources
• Multi-level Algorithm Selection for ASP
• Evaluation of disjunctive programs in WASP
• Paracoherent answer set semantics meets argumentation frameworks

Cited in

(2)

• Paracoherent answer set computation
• Paracoherent answer set semantics meets argumentation frameworks

This page was built for publication: Algorithm selection for paracoherent answer set computation

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