Explaining inconsistency in answer set programs and extensions

DOI10.1007/978-3-319-61660-5_16MaRDI QIDQ2401933zbMATH OpenOpenAlexFDO

Authors Christoph Redl

Publication date 5 September 2017

Full work available at URL https://doi.org/10.1007/978-3-319-61660-5_16

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Characterising and explaining inconsistency in logic programs
• Conflict-driven ASP solving with external sources
• Answer set programming with external sources
• Inlining external sources in answer set programs
• Measuring inconsistency in answer set programs

Cited in

(8)

• Dynamic consistency checking in goal-directed answer set programming
• Extended multi-adjoint logic programming
• Beyond NP: quantifying over answer sets
• Inconsistency proofs for ASP: the ASP-DRUPE format
• scientific article; zbMATH DE number 5201473 (Why is no real title available?)
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Characterising and explaining inconsistency in logic programs
• Contrastive explanations for answer-set programs

This page was built for publication: Explaining inconsistency in answer set programs and extensions

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