Explaining inconsistency in answer set programs and extensions

DOI10.1007/978-3-319-61660-5_16zbMath1491.68047OpenAlexW2726633552MaRDI QIDQ2401933

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 in artificial intelligence (68T27) Logic programming (68N17)

Related Items (2)

Beyond NP: Quantifying over Answer Sets ⋮ Extended multi-adjoint logic programming

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