DOI10.1007/978-3-319-49130-1_12zbMath1430.68326WikidataQ62043811 ScholiaQ62043811MaRDI QIDQ5215367
Mario 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
zbMATH Keywords
enumeration; answer set programming; assumption literals
Mathematics Subject Classification ID
68T30: Knowledge representation
68N17: Logic programming